摘要: Vim 从入门到精通 声明:该文章转载自github - wsdjeg的项目(见如下链接),此处仅供查阅方便:https://github.com/wsdjeg/vim-galore-zh_cn#vim-%E4%BB%8E%E5%85%A5%E9%97%A8%E5%88%B0%E7%B2%BE%E9 阅读全文
posted @ 2024-01-16 16:31 LeslieQ 阅读(7) 评论(0) 推荐(0) 编辑
摘要: 简介 Q1: 所有高级的基于类的验证方法都使用类来表示事务,但为什么呢?为什么不使用结构体? 1 对于高级用户而言,答案是显而易见的,但是对于新手而言,这些问题并没有在任何文献中得到解答。 2 问题是,大多数现有的 UVM 的参考指南都是由非常非常聪明的软件工程师编写的,他们假设所有用户自然知道这个 阅读全文
posted @ 2024-04-01 23:59 LeslieQ 阅读(39) 评论(0) 推荐(0) 编辑
摘要: 什么是断言? 断言:断言是一种声明,即某个属性必须为真。 设计规范:请求req信号被断言后,确认ack信号必须在1到3个时钟后到达。 断言用于: 文档设计意图(例如:每个请求信号req都有一个确认信号ack) 在仿真时间内验证设计是否符合规范 验证设计假设(例如:状态值为独热码) 定位发生故障的位置 阅读全文
posted @ 2024-02-26 18:57 LeslieQ 阅读(2) 评论(0) 推荐(0) 编辑
摘要: UVM Systemverilog SystemC EDA IP国外学习网站【转载】 SemiWiki - All Things Semiconductor! (半导体届的维基百科,罗列了各EDA,IP等供应商和行业资讯) WWW.TESTBENCH.IN Verification Academy 阅读全文
posted @ 2024-01-26 10:55 LeslieQ 阅读(39) 评论(0) 推荐(1) 编辑
摘要: ![image](https://img2024.cnblogs.com/blog/1866108/202401/1866108-20240125215739638-1071832676.png) 阅读全文
posted @ 2024-01-25 21:57 LeslieQ 阅读(2) 评论(0) 推荐(0) 编辑
摘要: ![image](https://img2024.cnblogs.com/blog/1866108/202401/1866108-20240125215316890-638168033.png) 阅读全文
posted @ 2024-01-25 21:53 LeslieQ 阅读(2) 评论(0) 推荐(0) 编辑
摘要: ![image](https://img2024.cnblogs.com/blog/1866108/202401/1866108-20240125215014716-179330086.png) 阅读全文
posted @ 2024-01-25 21:50 LeslieQ 阅读(9) 评论(0) 推荐(0) 编辑
摘要: 热键图1 热键图2 热键图3 阅读全文
posted @ 2024-01-25 21:39 LeslieQ 阅读(2) 评论(0) 推荐(0) 编辑
摘要: SV -- Assertions 断言【转载】 声明:该文章转载自love小酒窝(见如下链接(https://www.cnblogs.com/lyc-seu/p/12718412.html)),此处仅供查阅方便 SV -- Assertions 断言 目录 目录SV -- Assertions 断言 阅读全文
posted @ 2024-01-22 10:18 LeslieQ 阅读(39) 评论(0) 推荐(0) 编辑
摘要: SV语法 数据类型 内建 数据类型 逻辑类型 二值类型(0,1) bit,byte,int,shortint,longint 四值类型(0,1,X,Z) logic,reg,integer,net-type(如:wire) 符号类型 无符号 bit,logic,reg,net-type 有符号 by 阅读全文
posted @ 2024-01-12 21:18 LeslieQ 阅读(45) 评论(0) 推荐(0) 编辑