小灰灰的FPGA的博客

System Verilog过程语句（1）赋值语句（2）条件选择语句（3）循环语句（4）跳转语句（5）子程序调用（6）事件控制1、赋值语句四类阻塞赋值：使用 = ；非阻塞赋值：使用 <= ；自加/自减赋值：使用 ++/-- ；过程连续赋值语句：使用 assign/deassign、force/release;例子：initial begin logic data; logic data_out; logic data_test; data_out <= 1'b1

1、System Verilog数据类型System Verilog新增的数据类型：（1）两态（I/O）数据类型；（2）枚举类型；（3）用户自定义类型；（4）静态数组；（5）压缩数组；（6）动态数组；（7）关联数组；（8）队列；（9）字符串；（10）结构体；（11）联合体；（12）常量。1.1、数据类型verilog中常用的数据类型：变量reg和网线wire，均为四态数据类型（0、1、X、Z）。变量的存储都是静态的，仿真过程中不能使用堆栈来保持参数和当前值；网线wire用来连接

1、功能验证（寄存器传输级RTL的功能验证）针对芯片设计对象的行为功能进行验证，以保证设计能够按照设计规范实现其应有的功能。功能验证包括定义测试用例，创建测试环境，运行测试用例，保证所有要求的用例被覆盖到。2、验证平台需要提供更多的自动化机制来提高每一个测试用例（test case）的功能覆盖率和减少创建测试用例的时间。验证平台的主要功能：①产生激励；②把激励应用到被测设计中；③检查结果和验证测试是否通过，确保被测设计的输出与期望一致。3、激励直接测试：激励由用户提供的确定输入；随机测试：激励