sv笔记——system——verilog笔记_超详细

目录

验证导论 

 

 

数据类型 

 

 

 

 

完成 第一二章 

 

第二章习题： 

 

 

三、过程语句和子程序 

验证导论

1.22

 与 HDL 相比，HVL 的典型性质：

 基本测试平台的用途在于确定待测设计的正确性，包含下列步骤：

 产生激励。

 把激励施加到  上。

 捕捉响应。

 检验正确性。

 对照整个验证目标测算进展情况。

 方法学基础：

 受约束的随机激励。

 功能覆盖率。

 使用事务处理器的分层测试平台。

 协议异常。

 错误和违例。

 时延。

1.23

 仿真环境：

 建立（ !"）：

 生成配置：把待测设计的配置和周围的环境随机化。

 建立环境：基于配置来分配和连接测试平台构件。（有别于物理构件，物理构件是采用

# 代码描述的）。如果配置选择了三个总线总线驱动器，那么测试平台应该在这个阶段

对他们进行分配和初始化。

该同时使用超时检测以确保待测设计或测试平台不出现死锁。

 收尾（&'(!'）

 清空：在最下层完成以后，需要等待待测设计清空最后的事务。

 报告：一旦待测设计空闲下来，就可以清空遗留在测试平台中的数据。积分办的数据可能

从来没有送出来过，这些数据可能是被待测设计丢弃掉的。根据这些信息创建最终报告说

明测试通过或是失败。如果测失败需要把功能覆盖率结果删除，因为他们可能是不正确的。

 创建受约束的随机测试：

 建立分层的测试平台，包括自检部分。

 按照验证计划中列举的目标创建激励。可以使用

 随机约束 。

 双状态数据类型：更好的性能，更低的内存消耗。

 队列、动态和关联数组：减少内存消耗，自带搜索和分类功能。

 类和结构：支持抽象数据结构。

 联合和合并结构：允许对同一数据有多种视图（-）

 字符串：支持内建的字符序列。

 枚举类型：方便代码编写，增加可读性。

1.24

 内建数据类型：

 Logic 类型：可代替  和 ，但是只能有一个驱动，有多个驱动信号还是要定义成 。

 双状态数据类型：

  //双状态， 比特有符号整数

  //四状态， 比特有符号整数

 , //四状态， 比特无符号整数

 #& //双状态，双精度浮点数

检测双状态值数据类型是否出现 5、6 状态，出现返回 

789+!:8';;

9"+'&*8.

 定宽数组：

 声明和初始化：

 <3012. // 个整数0202=02

 常量数组：

 &>"02;BCDDDE. //对  个元素进行初始化

 "+>"02.

+>";BCDDDDE. //为  个元素赋值

+>"012;BCDDE. //为前  个元素赋值

?+>";BCCEE. //四个值全部为 

+>";BCDD"7&!1E. //CDDDDE

 For and foreach： 702;;F70127&>38702;;F78;.G;.HH

4& 

012+>02D"+02.

*0202

7&>380DI2

020I2;JHI. //赋值

7&>3802  //遍历第一个维度

98KL"1MD.

%&>380DI2 //遍历第二个维度

98KL"MD020I2.

9"+'&*.

N"

N"

78+>;;"+

9"+'&*8P+>;;"+P.

+

9"+'&*8P+>Q;"+P.

//把 +> 所有元素值复制给 "+

"+;+>.

//只改变一个值

+>02;.

//所有元素值是否相等

9"+'&*8P+>L+"+PD8+>;;"+RP;;P1PQ;P. 不等