如何开展验证的工作?
- 拿到设计spec,理解和分析spec
- 写验证计划:验证功能点提取,规划test,tb架构,用什么方法学,功能覆盖率的提取coverpoint,检查机制.....)
- 搭建验证环境(UVM TB) coding
- 编写用例测试,调试debug,发现RTL的bug
- regression(跑不同的seed)
- coverage(code function)分析,加一些tests
- 验证报告
理解spec
- 从设计的拓扑结构上进行理解
- 从主要功能上进行理解spec
- 从总线协议的时序上理解
- 从数据流的方向上进行理解,分析数据流的时候往往需要分析寄存器和接口
DUT spec
AHB_SRAMC UVMTB的验证功能
如何构建UVMTB的通用型代码
应用自动生成平台脚本的前提条件
应用自动生成平台脚本的效果
自动生成平台脚本中UVM相关处理
自动化生成平台脚本中应用到的UVM基础知识
完整的UVM验证平台基础知识梳理
自动生成平台脚本的输入参数
自动生成平台脚本的变量定义
自动生成平台脚本的函数定义
自动生成平台脚本的命令行解析
脚本使用
