system verilog学习笔记assertion & debug
来源:互联网 发布:淘宝如何抢整点秒杀 编辑:程序博客网 时间:2024/05/22 03:03
断言:
Design Engineer用 assert来检查
1)模块输入有没有X,Z态
2)发现design不支持的用法,报警
3)设计时的假设,包括接口的时序
4) buffer/FIFO 的overflow
5) 一些不能出现的情况,譬如read和write同时有效
6) 握手总是能够完成 (ack总是跟在req之后)
7) case语句不会进入未曾预料的区域
8) not duplicate RTL. (monitor output changes, and verifiy the input value will cause that changes)
Verification Engineer 用 assert 来
1) 进行functional coverage检测
2) 衡量仲裁的公平性。。。
两种类型的assertion
1) immediate
[ name : ] assert ( expression ) [ pass_statement ] [ else fail_statement ]
一般只是dynamic cast和randomize时使用,只在当前时刻做一次check
2) concurrent
[ name : ] assert property ( property_specification ) pass_statement [ else fail_statement ]
Debug的方式:
1、在每个put前(putting xxx), get后(got xxx) 用`vmm_debug 打印data_id等有用信息。
2、设置断点
- system verilog学习笔记assertion & debug
- system verilog MATLAB学习笔记
- system verilog学习笔记--time slot division
- system verilog学习笔记---coding style
- system verilog学习笔记---intersting Q&A
- System Verilog视频学习笔记(1)- Device Under Test
- System Verilog视频学习笔记(2)- Testbench
- System Verilog视频学习笔记(3)- Language Basic
- System Verilog视频学习笔记(5)- Concurrency
- System Verilog视频学习笔记(6)- OOP-Encapsulation
- System Verilog视频学习笔记(7)- OOP-Virtual Interface
- System Verilog视频学习笔记(8)- Randomization
- System Verilog视频学习笔记(9)- Inheritance
- System Verilog视频学习笔记(10)- Inter-Thread Communication
- System Verilog视频学习笔记(11)- Functional converage
- System Verilog视频学习笔记(12)- VMM预览
- MFC学习笔记之VC++ Debug Assertion Failed! 错误(File: strex.cpp Line: 690)
- Verilog学习笔记
- WPF 窗体显示最前端
- Parallel
- linux下编程使用math.h函数库
- 常用开发工具快捷键--Visual Studio 2010+Visual C++ 6.0
- sqlserver sp_spaceused用法
- system verilog学习笔记assertion & debug
- CSS3 border-radius 属性
- mysql存储过程一览表
- 经纬度坐标转换的方法
- xxx离开电脑也不必再担心验证码的出现
- 设计模式原则(2):里氏替换原则
- 好久没有接触C++的文件操作了。来个最基本的好了 貌似泄漏了我是哪个公司的了
- PerformanceCounter 基本介绍以及示例方法
- SystemVerilog--关于force用法