断言(assert)是一种描述性语言，通过描述的期望结果来进行仿真验证。 断言有一个更加基础的信息，我们称为属性(property)，属性可以作为断言结果，功能覆盖点，形式检查和约束随机激励生成。 ...

SV中的class通过new来创建实例，new函数可以传递多个参数； 　　 　　packet P1； P1 = new；创建一个P1的对象； 　　　　　　　　P2 = P1；P2也指向同一个对 ...

SV中的module，interface，program，checker，都提供declaration空间，内部定义都local当前的那个scope，相互之间的building block不影响，不识 ...