第01章
随机化基础
UVM随机化机制 · rand/randc · randomize() · 模式控制
核心rand
第02章
约束块语法
constraint定义 · 表达式 · 关系/逻辑运算符 · 继承与覆盖
约束语法
第03章
内建约束方法
constraint_mode() · get_constraint_mode() · pre/post_randomize
回调内建
第04章
权重分布约束
dist操作符 · := 与 :/ · 应用场景 · 常见错误
权重dist
第05章
条件约束
if-else · ->蕴含 · 优先级 · 嵌套条件
条件蕴含
第06章
foreach约束
动态数组 · 队列 · 多维数组 · foreach+if
迭代数组
第07章
唯一性约束
unique关键字 · 数组/结构体字段 · 性能考量
唯一unique
第08章
软约束与硬约束
soft关键字 · 覆盖规则 · 优先级 · 混合策略
软约束硬约束
第09章
约束求解器原理
求解流程 · 回溯算法 · 性能因素 · 冲突调试
求解器原理
第10章
随机化稳定性
种子管理 · $urandom · 可重复性 · 仿真器差异
种子稳定性
第11章
随机化覆盖率
功能覆盖率 · covergroup · bin · 交叉覆盖率
覆盖率covergroup
第12章
随机序列生成
randsequence · 产生式规则 · 权重 · 嵌套序列
序列randsequence
第13章
随机化与工厂模式
UVM工厂注册 · override · 随机化+factory · 配置数据库
工厂override
第14章
事务级随机化
uvm_sequence_item · transaction约束 · 字段级 · do_print/do_copy
事务sequence_item
第15章
随机化与断言
SVA基础 · 断言+随机变量 · 协同 · 形式化简介
断言SVA
第16章
复杂数据结构随机化
结构体 · 联合体 · 类对象 · 句柄随机化
结构体句柄
第17章
随机化性能优化
降低复杂度 · solve…before · 约束分解 · 并行随机化
性能优化
第18章
随机化调试技巧
冲突调试 · $display · 波形 · 日志分析
调试日志
第19章
随机化与参考模型
参考模型输入 · 预测逻辑 · 比对 · 测试序列
参考模型预测
第20章
随机化与覆盖率驱动验证
CDV方法论 · 覆盖率闭环 · 定向+随机 · 收敛策略
CDV收敛
第21章
寄存器模型随机化
寄存器字段随机化 · 前门/后门 · 预测 · 内建序列
寄存器前门后门
第22章
总线协议验证随机化
AHB/AXI · 地址对齐 · burst类型 · 数据依赖
总线AHB/AXI
第23章
低功耗验证随机化
电源域 · 电压/频率约束 · 功耗状态 · UPF集成
低功耗UPF
第24章
中断验证随机化
中断源 · 优先级约束 · 嵌套 · 响应时间
中断优先级
第25章
DMA验证随机化
传输参数 · 通道优先级 · 地址边界 · 完成中断
DMA传输
第26章
FIFO验证随机化
深度约束 · 读写指针 · 满空标志 · 溢出/下溢
FIFO指针
第27章
时钟域交叉(CDC)随机化
异步时钟 · 同步器 · 亚稳态概率 · CDC覆盖
CDC亚稳态
第28章
错误注入验证随机化
错误类型 · 频率约束 · 恢复机制 · 传播路径
错误注入恢复
第29章
安全验证随机化
安全等级 · 加密密钥 · 访问权限 · 攻击场景
安全加密
第30章
最佳实践与总结
项目经验 · 常见陷阱 · 团队协作 · 未来趋势
总结最佳实践