不枉初心,砥砺前行

皮皮祥的博客

欢迎留言,评论

导航

< 2025年3月 >
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5

统计

UVM验证方法学

1 验证的本质:尽可能的找出设计的bug;

2  测试向量文件

测试文件(testbench)以模拟的方式来验证逻辑时序的正确性,以源的方式来激励用户编写的逻辑功能模块;

3  验证的3要素

(1)灌激励:输入信号
(2)集响应:输出信号
(3)作比较:比较

4  验证平台的发展

Verilog  ->  C/C++  ->  System C  ->  System Verilog( 有高级语音的兼容性,时序的兼容) 

5  验证方法学(UVM)

(1)制定了一种标准的规范
(2)提供底层库
这些方法 :
1:通用 -> 可重用性
2:高效 -> 随机性 解决 :Regression (回归) 、 coverage(覆盖率) 

6  验证平台的发展

7  简单的UVM平台

 

8  完整UVM的验证平台 

 

1  DUT 和UVM直接的通信需要interface;

2 UVM的各个Component(组件) 之间采用基于TLM的发送通过数据包的方式通信;

3  Sequence和sequencer  启动方式包括:自启动和手动启动;

9   UVM树 

 

10  UVM运行的机制

Phase机制:(阶段)

1.模块直接是并行的
2.模块内是串行的的 

 

posted on   皮皮祥  阅读(1006)  评论(0编辑  收藏  举报

编辑推荐:
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· 三行代码完成国际化适配,妙~啊~
· .NET Core 中如何实现缓存的预热?
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
点击右上角即可分享
微信分享提示