随笔分类 -  《SystemVerilog验证》学习笔记

摘要：SV2 过程语句和子程序 1 过程语句 可以在for循环中定义循环变量，其作用范围仅限于循环内部。 增加了自增、自减运算符++、- -。 可以定义块名。 为循环语句增加了continue和break语句。 2 任务、函数以及void函数 函数：可以有返回值，也可以无返回值，不能包含延时语句 任务：不 阅读全文

摘要：SV1 数据类型（下） 7. 数组的方法 SV提供了许多数组方法，可用于任何一种非合并数组类型，包括定宽数组、动态数组、队列和关联数组。 7.1数组缩减方法 数组缩减：把一个数组缩减成一个值。 对于数组求和：单比特数组求和，其结果也为单比特； bit on[10]; //单比特数组 int tota 阅读全文

摘要：SV1 数据类型（上） 1.内建数据类型 1.1 逻辑（logic）类型 -- 四状态类型 0、1、x、z 除了作为一个变量，还可以被连续赋值、门单元和模块所驱动。 任何使用线网的地方均可以使用logic，但要求logic不能有多个结构性的驱动。 注：当信号只有一个驱动，把信号声明为logic，而不 阅读全文