验证工作
关注
分享
扫一扫
文章平均质量分 50
ZYZ_DIDO
这个作者很懒，什么都没留下…
展开
-
makefile调用、编译、执行过程（verilog&cpp）
1、理解makefile是如何工作见makfile中文手册 2.4节内容。2、首先编写各种需赋值的变量3、调用shell下命令方式：eg：UNAME = $(shelluname) echo$(UNAME)显示：Linux4、条件判断ifeq($(UNAME), Linux)… …endif5、三种赋值运算符：(1)”=”LHS =原创 2017-01-05 11:03:29 · 4257 阅读 · 0 评论 -
ASIC仿真验证随笔
一、基础知识1、复位信号和clk信号的搭配:以一个简单同步低有效复位D触发器为例，intial beginclk = 0;rst = 0;#5 rst = 1;enalways #1 clk = ~clk;以上述初始化方式来看，在开始阶段，clk为低，没有上升沿跳变，rst为低有效，所有此时，对D触发器的输出Q端报出不定态问题。改进方法：intial原创 2017-07-05 11:14:40 · 647 阅读 · 0 评论 -
高级验证方法学()-Mentor-笔记
1、事物级组件间一般用fifo作为通信通道2、sv中，参数或局部参数优先于宏，这样可以减少编译的次数3、验证方案从设计规范来，验证方案有一个问题清单，列举所有验证过程需要回答的问题，和说明如何被回答的机制的描述。此外还有一个checklist，列举所有需要回答的问题，它也是测试平台的功能规范4、systemC不适合构建低层次验证平台5、激励生成方式：随机、定向、定向原创 2017-12-13 10:28:59 · 1333 阅读 · 0 评论