当前位置: 首页 > news >正文

System Verilog验证 书的 笔记

1. SV 的数据类型有四态(wire, reg ,integer, time, )和双态(real,bit , int )两种,使用双态有什么好处和弊端?

双态可以提高仿真器性能减少内存使用,带来的问题是DUT 输出的X/Z会被转换成双态值而没法发现问题。

2. logic 和wire的区别,任何用wire地方都可以用logic 除了双向总线必须用wire。 logic只能有一个驱动, 如果存在多驱动,那么编译会有错误。wire在没有驱动的时候输出是Z。

3. 合并数组,非合并数组,动态数组,队列,关联数组(几个G字节的寻址范围,但实际使用又不是很多,关联数组只为实际写入的地址分配空间),链表。

4. 如何选择存储类型?队列,关联数组,定宽数组,动态数组。

网络数据包: 定宽或者动态数组。

scorebord保存期望值: 队列或者关联数组。

5. typedef 自定义, 结构体 struct 。

6. 数据类型转换, 静态转换,动态转换。

7. 枚举类型 emu.以及转换。

8. task 可以消耗时间, function 不能消耗时间 如#100ns。

9. task 传参, ref 或则 const ref (子程序不改变数组值)

10. timescale

11. 静态存储和自动存储的概念。

12. 使用interface 连接testbech 和DUT 的好处。

13. 一个class一个文件,多个文件用package打包。

14. new() 和 new[]的区别, new[]创建了一个数组类。同一个句柄再new一次会释放之前的句柄

15. 静态变量和全局变量,局部变量。

16.在类之外定义方法,用extern. (理解这样做的好处)

17. this 用法: 先在当前作用域内寻找,然后在上一级寻找,直到找到该变量。

18. typedef 可以用来解决编译顺序问题。

19. 线程间的通信。 fork join 系类。

20. function coverage。

21.assertion。

http://www.cnnetsun.cn/news/1428675.html

相关文章:

  • Youtu-Parsing助力AI编程:自动解析技术文档生成代码片段
  • 基于 STM32CubeMX 的 UNIT-00:Berserk Interface 嵌入式部署指南
  • 嵌入式Makefile工程化构建详解:依赖管理与交叉编译实践
  • 利用 Hough 变换处理量测得到的含杂波的二维坐标,解决多目标航迹起始问题(Matlab代码实现)
  • GPEN肖像增强镜像:修复老照片人像,新手快速上手指南
  • 别再纠结了!5分钟搞懂OpenAI的Responses API和Chat Completions API到底该用哪个
  • Janus-Pro-7B入门指南:Web UI界面功能逐项解析与实测
  • AI大数据如何帮助企业进行智能化供应链管理
  • OpenCV 3.4.0踩坑记:rotatedRectangleIntersection返回的点序问题如何导致你的旋转框IOU算错?
  • 计算机组成原理实验三:手把手教你搭建8位ALU电路(含微程序控制器设计)
  • DeOldify与数据库联动:开发基于MySQL的图片处理任务管理系统
  • Linux无线网卡驱动终极指南:解决Realtek 8852CE连接问题的完整教程
  • 革新性macOS光标主题:焕新你的桌面交互体验
  • 数据库课程设计新思路:结合OWL ADVENTURE设计图像内容管理系统
  • 这次终于选对!8个AI论文写作软件测评:全行业通用,开题报告+毕业论文高效写作指南
  • ESP32嵌入式示波器库Sigscoper:实时信号采集与触发设计
  • 如何用OpenMTP实现macOS与Android文件传输:3个简单技巧提升效率
  • NimBLE-DataPipe:ESP32上零配置BLE可靠数据管道
  • 2024版UniApp集成支付宝支付:从密钥配置到回调验证的全链路解析
  • Typora与Markdown:优雅撰写MogFace-large技术文档与实验笔记
  • XSpaceV10嵌入式电机驱动库详解:STM32+F103+TB6612FNG运动控制
  • 5分钟搞定!用Docker和Nginx快速搭建个人主页(附完整docker-compose配置)
  • 智能音频转字幕实战指南:OpenLRC开源工具的高效应用方案
  • 探索桌面光标美学:打造个性化视觉交互体验
  • N元模型避坑指南:从‘研究生‘分错案例看中文分词的边界难题
  • 别再乱用碰撞体了!CocosCreator 3.x 中 Box、Circle、Polygon Collider 的性能与精度实战对比
  • TMS320F28P550开发板硬件设计与C2000Ware驱动实践
  • 从WiFi到专线:用iperf3全面检测不同网络环境的真实性能
  • 计算机毕业设计springboot攀枝花学院宿舍管理系统 基于Spring Boot框架的高校学生公寓信息化管理平台设计与实现智慧校园背景下学生住宿服务系统开发——以Spring Boot技术栈为例
  • TSC打印机避坑指南:C#调用TSCLIB.dll打印条码时遇到的5个典型问题及解决方案