Gensys 自动化验证流程详解
📚 30章 · 体系化学习
第01章
Gensys入门
发展史
应用场景
环境搭建
第02章
验证方法论
UVM基础
VMM基础
OVM基础
验证计划制定
第03章
Gensys核心概念
事务级建模
序列器
驱动器
监视器
代理
第04章
Gensys组件详解
uvm_component
uvm_object
uvm_sequence
uvm_sequencer
第05章
Gensys配置机制
uvm_config_db
配置对象
层次化配置
覆盖机制
第06章
Gensys序列机制
sequence启动
仲裁
同步
嵌套
第07章
Gensys寄存器模型
reg_model
reg_block
reg_field
reg_adapter
第08章
Gensys验证环境搭建
env搭建
agent搭建
scoreboard
coverage搭建
第09章
Gensys测试用例编写
base_test
test_sequence
virtual_sequence
testcase管理
第10章
Gensys自动化脚本
Makefile
TCL脚本
Python脚本
回归测试
第11章
Gensys覆盖率收集
代码覆盖率
功能覆盖率
断言覆盖率
交叉覆盖率
第12章
Gensys断言机制
立即断言
并发断言
SVA语法
断言覆盖率
第13章
Gensys调试技巧
波形调试
日志分析
断点调试
性能分析
第14章
Gensys性能优化
仿真速度优化
内存优化
并行仿真
多核加速
第15章
Gensys随机化策略
随机变量
约束块
随机化控制
权重分布
第16章
Gensys后门访问
HDL路径
后门读写
force/release
后门序列
第17章
Gensys中断验证
中断模型
中断处理
中断优先级
中断嵌套
第18章
Gensys低功耗验证
电源域
电压域
功耗序列
UPF集成
第19章
Gensys安全验证
安全域
安全属性
安全序列
安全覆盖率
第20章
Gensys多时钟域验证
CDC检查
同步器
异步FIFO
时钟域交叉
第21章
Gensys形式化验证
属性检查
等价性检查
模型检查
抽象技术
第22章
Gensys混合信号验证
模拟模型
数模接口
混合仿真
精度控制
第23章
Gensys验证IP复用
VIP封装
VIP集成
VIP配置
VIP调试
第24章
Gensys验证管理
版本控制
任务管理
缺陷跟踪
报告生成
第25章
Gensys持续集成
CI/CD流程
自动化回归
质量门禁
报告发布
第26章
Gensys验证度量
验证进度
覆盖率度量
质量度量
效率度量
第27章
Gensys高级序列
分层序列
虚拟序列
序列库
序列复用
第28章
Gensys高级寄存器
后门寄存器
影子寄存器
寄存器测试
寄存器覆盖率
第29章
Gensys高级覆盖率
交叉覆盖率
过渡覆盖率
序列覆盖率
断言覆盖率
第30章
Gensys项目实战
项目规划
环境搭建
测试开发
回归验证
项目交付