随机约束仿真与定向测试实战 · 课程目录

01

验证方法论概述

定向测试局限随机约束优势SV平台

02

随机化基础

rand/randcrandomize()约束块

03

关系约束insidedistribute

04

权重与分布

dist :=/:/权重分配常见陷阱

05

约束块控制

constraint_mode()动态修改内嵌约束

06

随机化序列

randsequencerandcase随机延迟

07

数组随机化

动态数组定长约束大小/元素

08

队列与关联数组随机化

队列随机关联数组foreach约束

09

类随机化嵌套对象句柄/深度

10

随机化函数

pre_randomizepost_randomize回调

11

约束求解器

求解原理失败处理性能/调试

12

随机化稳定性

种子seed$urandom范围/影响

13

定向测试基础

用例设计测试点分解直接vs随机

14

覆盖率驱动验证

代码/功能覆盖率收集/分析

15

功能覆盖率

covergroupcoverpointbins/cross

16

覆盖率选项

auto_bin_maxweight/goal合并

17

立即/并发断言assert/assume/cover

18

sequence/property|=> |-> ##

19

总线协议握手/FIFO/状态机

20

随机约束与断言结合

约束中断言断言驱动随机覆盖率驱动

21

测试平台架构

Driver/MonitorScoreboard/Agent/Env

22

事务级建模

transactiongenerator/driver/monitor

23

config_db组件/用例/随机化配置

24

callback模式注册/随机化应用

25

寄存器模型

reg_model/block/field前门/后门

26

寄存器随机化

域随机化寄存器约束测试序列

27

错误注入测试

错误分类/注入检测机制/随机注入

28

随机化性能约束求解优化运行时间

29

随机化/约束调试覆盖率/断言调试

30

综合项目实战

UART验证环境随机约束/覆盖率/回归