SV
BlackDogv
个人学习记录。
展开
-
异步FIFO的UVM验证(VCS+Verdi 附源代码)
异步FIFO的UVM 验证环境,详细介绍,结合波形,更好理解异步fifo的工作过程。VCS+verdi Makefile 附代码,包含覆盖率收集目录1.DUT 设计2.UVM 验证2.1 环境搭建2.2 功能仿真测试2.2.x 写满及读空 异常测试2.2.x1 带有复位的读写测试1.DUT 设计本设计框图如下,经典asyn_fifo2.UVM 验证结合波形,更好理解异步fifo的读写过程!初入门的野路子verifier,不规范的地方请指正。也不知是否正确完整。原创 2022-05-17 11:26:31 · 9241 阅读 · 62 评论 -
四值信号,包含x z的与或、逻辑与或,&、&&区别;队列的即时更改
&、|| 是逻辑与或,两边以真假判定,非0为真。在四值信号中,x和z 会被认为是x,与0或是x,与1与是x。&、| 是按位与或。原创 2022-09-10 14:03:45 · 387 阅读 · 0 评论 -
sv 继承的同名constraint会覆盖
SV 约束原创 2022-09-04 20:25:05 · 464 阅读 · 0 评论 -
抽空从零开始写简略的AXI-VIP
AXI VIP原创 2022-08-10 00:04:05 · 146 阅读 · 0 评论 -
SV 循环里的fork...join_none 解析
strobe命令会在当前时间部结束时完成;而$display是只要仿真器看到就会立即执行。$monitor用于持续监测指定变量,只要这些变量发生了变化,就会立即显示对应的输出语句。#0时延阻塞了当前线程,并且把它重新调度到当前时间片后启动。fork...join_none的执行时间。......原创 2022-07-17 12:42:34 · 3999 阅读 · 0 评论 -
SV 小练习(找质数、找包含特定数字的数)
目录使用sv,对一个1000以内的数做判定:如果包含数字6,则输出。使用sv,打印1-100的所有质数。原创 2022-07-04 20:44:25 · 442 阅读 · 0 评论 -
UVM 碎记
domainsequencer的仲裁机制原创 2022-07-02 17:33:24 · 467 阅读 · 0 评论 -
SV 断言,使用if的注意事项
在property 或者 sequence 中,进入if语句时,如果使用了局部变量,在编译命令要加入-assert svaext 选项,否则出现如下错误。if 的分支语句 不能加分号。原创 2022-06-27 20:58:54 · 1614 阅读 · 0 评论