System Verilog
文章平均质量分 89
Dypypp
三环内 180平
展开
-
MCDF实验5:凛冬的寒风(从verilog到SV的入门lab5)
Lab5主要完成如何定义覆盖率,如何从验证计划到测试用例的实现,最后再到覆盖率的量化。种一棵树最好的时间是十年前,其次是现在。不是吗?原创 2022-11-03 12:46:27 · 1083 阅读 · 3 评论 -
MCDF实验4:魔龙的狂舞(从verilog到SV的入门lab4)
1. 实验3结构包含moinitor、checker、generator、initiator、test,这已经是一个完整的仿真结构,实验4可以说是实验3结构的复制粘贴。 2. 实验4将设计变得更复杂,添加了reg寄存器模块,formatter模块。验证过程完全相同,需要像实验3的验证过程一样对这两个模块也做仿真验证。 设计中reg的功能是可以选择从哪个fifo接收数据,并且可以判断fifo余量(之前是margin),可以控制打包的长度。formatter做数据打包。原创 2022-10-26 13:57:31 · 2347 阅读 · 12 评论 -
MCDF实验3:群鸦的盛宴(从verilog到SV的入门lab3)
在实验3添加了随机约束来随机化产生的数据,使用了信箱来完成类之间的通信,添加了monitor、checker让验证的组件越来越完整。种一棵树最好的时间是十年前,其次是现在。不是吗?原创 2022-10-22 18:26:27 · 1815 阅读 · 14 评论 -
MCDF实验2:冰雨的风暴(从verilog到SV的入门lab2)
在实验1,通过A产生动态数组并赋值给B,B再传给c,完成了激励的发送。总体来说很容易上手。而在实验2产生数据的方式、赋值的方式变为了抽象的概念,对于初学者可能不是很好理解,但你看完这篇文章,不会都难。原创 2022-10-20 17:13:17 · 1202 阅读 · 6 评论 -
MCDF实验1:列王的纷争(从verilog到SV的入门lab1)
使用动态数组来产生数据,并将验证结构修改的更加合理。原创 2022-10-18 21:36:46 · 973 阅读 · 7 评论 -
MCDF实验0:权力的游戏(从verilog到SV的入门lab0)
从MCDF实验来更全面的了解IC验证,将从权力的游戏、列王的纷争、冰雨的风暴、群鸦的盛宴、魔龙的狂舞和凛冬的寒风这六个章节,一步一步讲解实验。种一棵树最好的时间是十年前,其次是现在。不是吗?原创 2022-10-18 16:21:09 · 1118 阅读 · 4 评论 -
MCDF说明文档
MCDF的说明文档,介绍了功能、信号、时序、寄存器等参数,方便后续实验时参考。原创 2022-10-18 10:51:37 · 675 阅读 · 5 评论 -
保姆级教程超硬核包会,SystemVerilog SV 断言
仿真的时候,需要观察某些程序运行的结果是否符合预期,这一需求一般是通过断言来实现。原创 2022-10-17 14:18:45 · 3633 阅读 · 8 评论 -
保姆级教程超硬核包会,TCL解释语言
对在EDA仿真工具中使用的TCL语言做了简单介绍。原创 2022-10-16 15:17:20 · 1410 阅读 · 2 评论 -
保姆级教程超硬核包会,SystemVerilog SV 覆盖率
介绍了代码覆盖率和功能覆盖率,对其中的关键词做了简单介绍。原创 2022-10-16 00:14:04 · 1092 阅读 · 4 评论 -
保姆级教程超硬核包会,SystemVerilog SV类(class)
介绍了类的封装、类的继承、类的多态包的使用、随机约束、线程间的同步和通信和类型转化。文章很长但通俗易懂,耐心看下去你会通透的。原创 2022-10-14 09:00:00 · 2870 阅读 · 13 评论 -
保姆级超硬核包会,System Verilog SV接口(interface )
SV中TB的构成主要包括Dut的例化、interface的例化、验证环境的例化三部分。接口类似于一条总线,把零碎的线包装在一起,给那些需要的模块。原创 2022-10-09 02:59:18 · 3574 阅读 · 7 评论 -
保姆级超硬核包会,System Verilog SV数组
SV中常用的数组包括定长数组、动态数组、队列、关联数组。原创 2022-10-09 22:43:04 · 3342 阅读 · 2 评论