验证学习汇总

xkxxxxzzz / 2023-09-06 / 原文

对前段时间的验证学习问题相关资料进行汇总:

SV:

virtual:关键词“virtual”在system Verilog的作用及用法_systemverilog virtual_挣扎着的咸鱼的博客-CSDN博客

句柄:Systemverilog中的句柄和对象 - 知乎 (zhihu.com)

ref:systemverilog中ref的用法_systemverilog中的ref_Alfred.HOO的博客-CSDN博客

SystemVerilog通过值传递的方式来传递参数,实参将被整体复制,这将消耗一定的内存和操作时间。而使用引用传递(ref),只是获取实参的入口地址(句柄或者指针),操作速度快,减少内存的使用。除此之外,在子程序修改ref参数变量的时候,其变化对于外部是立即可见的,这一点很有用。

如果为了避免外部传入的ref参数会被方法修改,则可以添加const修饰符,来表示变量是只读变量。

 

覆盖率:

Block覆盖率隐藏else覆盖不到问题:cadence Incisive Comprehensive coverage(ICC)说明文档(一)-单片机-51测试网 (51c51.com)

 

断言:

sv断言写法_断言怎么写_super_naonao_study的博客-CSDN博客

 

UVM:

::SystemVerilog范围解析运算符 - 代码先锋网 (codeleading.com)

uvm_object:(2)UVM基础之域的自动化(field automation)_数字ic攻城狮的博客-CSDN博客