VIP20

本课程属于：025-形式化验证 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

随机激励生成与覆盖收敛突破

📚 共计 30 章节

01

验证方法论概述

从定向测试到随机测试的演进，为什么需要随机激励。

方法论演进

02

SystemVerilog随机化基础

rand与randc关键字，随机化函数randomize()。

SVrand/randc

03

约束的语法与类型

内嵌约束、外部约束、软约束与硬约束。

约束软/硬

04

权重约束与分布控制

dist操作符，:= 与 :/ 的区别。

权重dist

05

随机化序列与事务生成

使用randsequence生成复杂时序激励。

序列randsequence

06

随机化数组与队列

动态数组、定长数组、队列的随机化技巧。

数组队列

07

随机化对象与句柄

随机化嵌套对象，避免悬空指针。

对象句柄

08

约束求解器原理

约束求解的机制，如何避免求解失败。

求解器Solver

09

调试随机化失败

分析约束冲突，使用$error与断言定位问题。

调试断言

10

功能覆盖率的定义

covergroup、coverpoint、bins的基本语法。

覆盖率covergroup

11

交叉覆盖率

cross关键字，如何定义有效的交叉覆盖点。

cross交叉

12

覆盖率的自动收集与采样

sample()方法，事件触发采样。

采样sample()

13

覆盖率驱动的验证流程

分析覆盖率报告，指导激励生成。

CDV流程

14

定向测试与随机测试的平衡

如何用定向测试填补随机测试的盲区。

定向混合

15

随机种子管理

使用不同的种子复现与扩展测试场景。

种子复现

16

动态约束调整

在仿真过程中动态修改约束。

动态约束

17

随机化与功能覆盖率的结合

用覆盖率反馈调整随机权重。

反馈权重

18

覆盖率收敛策略

如何快速达到覆盖率目标。

收敛策略

19

覆盖率空洞分析

识别未覆盖的边界情况与异常路径。

空洞边界

20

断言与覆盖率的协同

使用断言辅助覆盖率分析。

断言协同

21

随机激励的复用性设计

编写可配置的随机激励类。

复用配置

22

后门访问与随机化

通过后门设置内部状态进行随机化。

后门内部状态

23

随机化与低功耗验证

在低功耗场景下生成随机激励。

低功耗UPF

24

随机化与形式化验证的结合

用形式化方法补充随机验证。

形式化补充

25

多核与并行随机化

在多核仿真环境下的随机化策略。

多核并行

26

随机化与UVM

在UVM环境中集成随机激励与覆盖率。

UVM集成

27

覆盖率驱动的回归测试

自动化回归测试中的覆盖率管理。

回归自动化

28

高级约束技巧

使用solve...before控制求解顺序。

solve...before顺序

29

随机化与数据完整性

生成符合协议的数据包。

协议数据包

30

项目实战

构建一个完整的随机激励与覆盖率收敛验证环境。

实战项目