摘要：
Coverage Driver Verification 可约束的随机化验证,用于测试的值可以再一定范围内进行随机,具体的范围可以进行约束,比如可以跑100次,然后查看覆盖率,可以通过覆盖率进行度量验证的进度 内容 随机化的变量往往需要添加一定的约束,通过添加约束让值在一定的范围内进行随机 随机化验 阅读全文
摘要：
oop:封装\继承\多态 new() new()函数用于申请内存空间并且进行变量的初始化 多态 父类引用指向子类对象 虚方法看对象,实方法看句柄 ref参数 ref声明的端口信号，在进行参数传递时，共享同一个变量存储空间，即“引用”传递进来的实参，而不是复制传递的参数。 int array[]= { 阅读全文