学习文本值和基本数据类型的笔记。 1.常量（Literal Value） 1.1.整型常量 例如：8‘b0　　32'd0　　'0　　'1　　'x　　'z 省略位宽则意味着全位宽都被赋值。 例 ...

约束的使用 1.逻辑关系<,<=,==, >=,> 逻辑关系约束，比较直接的指定随机数产生的范围，<,<=,==, >=,> ...

断言是什么？ 断言是对设计违例的一种严查，能够在违例时立刻报出错误。 为什么使用断言，断言的优势又有那些呢？ 1.断言能够缩短你的开发时间，断言的代码是比较简单的，相比systemverilog ...

概述 在进行芯片验证时，最重要的一个环节就是完成对dut的覆盖率收集工作，覆盖率主要分为下面三类： 1.代码覆盖率 2.功能覆盖率 3.断言覆盖率 如何完成覆盖率收集？ 代码覆盖率：是 ...

动态数组 动态数组，和名字的字面解释一样，可以动态调整空间大小的数组，动态数组在编译时不指定空间的大小，只有在程序运行是才分配空间，这也就要求在代码中需要 new[ ] 来设定动态数组的空间大小。 ...

这一篇笔记主要记录Procedural，Process，Task and function，Interface和Communication中值得注意的点。 1.Procedural ...

在实际项目中，由于项目经历了较多的版本更迭或者设计人员的技术水平限制，有些时候难免有使用到verilog的代码和VHDL代码共同存在一个项目中的情况，那这个时候我们要怎样进行混合编译仿真验证呢？这里以 ...

本方法为验证文本框的输入内容，如果输入的是数字，则提示"√"。否则提示“必填，且只能输入数字字符”。在线体验效果：http://keleyi.com/keleyi/phtml/zzbds/1.htm完 ...

概述 从概念上来说，数字验证包含两方面的内容，一个是验证功能，另一个是验证时序。对应的仿真模型（不论是model，standard cell等）也不外乎这两个部分，功能部分由逻辑，udp元件或gat ...

DUT中寄存器的值可能是实时变更的， 寄存器模型并不能实时地知道这种变更， 因此， 寄存器模型中的寄存器的值有时与DUT中相关寄存器的值并不一致。 对于任意一个寄存器， 寄存器模型中都会有一个专 ...