![](https://img-blog.csdnimg.cn/2019092715111047.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
2_验证/SV
文章平均质量分 72
2_验证/SV
niceshotgoodball
这个作者很懒,什么都没留下…
展开
-
VCS Coverage 手册笔记
########################################################### 《Coverage Technology User Guide》.pdf#######################################################################################【Line Coverage】A zero execution count pin-points a line of code that原创 2021-08-22 12:24:27 · 886 阅读 · 0 评论 -
链接: SVA
第2章 SystemVerilog断言https://blog.csdn.net/zhajio/article/details/80007604SV之Assertions 断言https://blog.csdn.net/bleauchat/article/details/90415146芯片设计:verilog断言(SVA)语法http://blog.sina.com.cn/s/b...原创 2020-01-21 22:11:10 · 213 阅读 · 0 评论 -
SV Function Coverage手册笔记
1、covergroup 2、coverpoint bins 3、cross coverpoint 4、options 5、methods 6、systemtasks ...原创 2020-01-20 21:04:00 · 4972 阅读 · 0 评论 -
SystemVerilog中的Virtual总结
Virtual Interface 隔离抽象模型(class)和实际信号(port wire reg),可在仿真过程中动态控制连接信号。 在class内使用,这样class的不同实例可连外部不同的interface实例。 interface SBus; // A Simple bus interfacelogic req...原创 2020-01-20 21:04:22 · 1772 阅读 · 0 评论 -
SVA BIND 读书笔记
《SystemVerilog Assertions Design Tricks and SVA Bind Files》 1 Introduction This paper details some SVA methodology techniques that I highly recommend, especially for design engineerswh...原创 2020-01-20 21:04:33 · 996 阅读 · 0 评论 -
SV Random手册笔记
一、关于“随机验证”的思考验证挑战如今芯片规模很大,验证量很大,对应的工作量就很大,大到不可能完全覆盖所有场景。因此,对验证方法提出了更高要求:1)量大的事情,就要想办法让机器自动执行 2)机器都不能完全覆盖的场景,就要划分颗粒度、优先级抽象 办法很容易想到,且这种思想我们在直接测试中也可能已经用到——抽象、或模板化:先编写向量模板,该模板提供一些可以修...原创 2020-01-20 21:03:51 · 2282 阅读 · 0 评论 -
SV Assertion手册笔记
根据SV标准手册《IEEE Standard for SystemVerilog》ASSERTION章节整理出SVA的基本概念,并加以个人理解,记录于此,以便回顾。1. assertion types Assertion Types immediate simple assert (expression) ...原创 2020-01-20 21:03:27 · 1413 阅读 · 0 评论