飓风_数字IC验证的博客

上面的代码中构建了一个约束块addr_c，约束快的修饰符是constrain，约束的内容是地址的低2bit为0,在调用randomize（）函数随机时，随机出的地址，低2bit一直为0；

例如：12 bit的数据在以 ‘hex’ 格式输出的时候自动调整为3个字符长度，以 ‘decimal’ 格式输出的时候，自动调整为4个字符长度，因为参数输出的最大值为FFF（hexadecimal）和4095（decimal）。默认设置：以十进制显示的数据格式，参数首部的 ‘0’（leading zeros）会被自动替换成空格（space）；参数可以是引号内的字符串(quoted string literal)，表达式(expression) 和数值(value)；(arguments 值靠在右侧)

system verilog中task和function的详细介绍和使用方法介绍，参数方向ref的使用方法介绍。

system verilog 静态变量、静态方法、动态变量、动态方法概念区分。

system Verilog assert 断言总结

SV 数据类型

mailbox的功能：Mailboxes是一种在进程之间交换消息的机制。数据可以通过一个进程发送到Mailboxes，然后由另一个进程获取。mailbox 中可以放的数据：数据可以是任何有效的systemVerilog数据类型，包括类class数据类型。非参数化Mailboxes是无类型的，即单个Mailboxes可以发送和接收不同类型的数据。SystemVerilog提供以下使用邮箱的方法：Mailboxes赋值：new（）Mailboxes赋值：new（）放数据：put（）非阻塞放数

功能覆盖率FCOV建模