SV

SV学习笔记（六）

文章目录覆盖率类型写在前面代码覆盖率断言覆盖率功能覆盖率漏洞率曲线功能覆盖策略收集信息而非数据只测量需要的内容验证的完备性覆盖组写在前面在类里定义covergroup 数据采样写在前面coverpoint和binbin的创建和应用命名coverpoint和bin条件覆盖率翻转覆盖率wildcard覆盖…

SV学习笔记（一）

SV：SystemVerilog 开启SV之路数据类型內建数据类型四状态与双状态 ： 四状态指0、1、X、Z，包括logic、integer、 reg、 wire。双状态指0、1，包括bit、byte、 shortint、int、longint。有符号与无符号 ： 有符号&am…

SV学习笔记（四）

OCP Open Closed Principle 开闭原则文章目录随机约束和分布为什么需要随机？为什么需要约束？我们需要随机什么？声明随机变量的类什么是约束权重分布集合成员和inside条件约束双向约束约束块控制打开或关闭约束内嵌约束随机函数pre_random…

event触发的竞争条件(Event trigger race conditions)

问题：在进程等待event触发的同一时间步长内，若该event触发，则不一定能等到该event E文原文：http://www.deepchip.com/items/0466-07.html （转载请注明出处，谢谢！ seabeam）verilog通…

fork join_none易错点

本篇博客记录一下自己在实际过程中遇见的易错的语法细节。两种不同条件下的fork join_none的使用： 1、 program fork_pra;initial beginfor(int i 0; i < 3; i) beginfork $write(i);join_none#0;endendendprogram上述这种，可以看见延时语句在fork…

VPI step by step(1)

本文主要参考”The Verilog PLI Handbook(Second Edition)”, 权当读书笔记。主要针对VCS flow, 也许会穿插其他两大家工具的flow. 说在最前面到今天为止，SV对C/Cpp的主要接口支持大多改用DPI, 也推荐使用DPI。或者直接使用UVM自带现成的DPI lib, 已经可以满足不少…