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.模块内是串行的的
标签:
FPGA学习
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· .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吗?