VIP20

本课程属于：033-覆盖率分析 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

SystemVerilog约束随机验证与覆盖收敛

📚 共计 30 章节

覆盖收敛概述

什么是覆盖收敛 · 为什么需要覆盖收敛 · 覆盖收敛的挑战

激励约束基础

SystemVerilog约束语法 · 约束块 · 随机化变量

范围约束 · 集合约束 · 权重分布约束

if-else约束 · -> 操作符约束 · 条件表达式约束

约束求解器

约束求解器工作原理 · 求解器性能 · 求解器调试

约束与随机化

rand与randc · 随机化函数 · pre_randomize与post_randomize

随机化回调

面向对象约束

类中的约束 · 继承与约束 · 约束的覆盖与重写

约束的复杂度

约束冲突 · 线性与非线性 · 约束优化技巧

功能覆盖点

covergroup · coverpoint · 仓(bins)的定义

cross覆盖 · 交叉仓 · 排除非法组合

weight · goal · comment · auto_bin_max等选项

采样事件 · 覆盖触发 · 覆盖数据的导出

覆盖驱动的激励生成

从覆盖到约束的反馈 · 动态调整约束

覆盖率驱动的验证流程

规划 · 实现 · 迭代 · 收敛

流程方法论

定向测试与随机测试

优缺点对比 · 混合策略

激励生成策略

纯随机 · 带约束随机 · 定向生成

覆盖收敛指标

代码覆盖率 · 功能覆盖率 · 断言覆盖率

覆盖收敛分析工具

VCS · Questa · IUS的覆盖工具使用

覆盖收敛加速技术

种子管理 · 并行回归 · 覆盖合并

覆盖收敛中的常见陷阱

过度约束 · 欠约束 · 覆盖盲区

高级约束技巧

foreach约束 · 数组约束 · 动态数组约束

约束与性能

约束求解时间优化 · 约束分解 · 约束分层

覆盖模型设计

如何设计高效的覆盖模型 · 覆盖粒度控制

覆盖与断言结合

断言覆盖 · SVA覆盖 · 断言驱动的验证

形式化验证与覆盖

形式化方法在覆盖收敛中的应用

形式化数学

低功耗验证中的覆盖

功耗状态覆盖 · 电源域覆盖

低功耗电源

SoC级覆盖收敛

系统级覆盖 · 接口覆盖 · 跨时钟域覆盖

覆盖收敛自动化

脚本化覆盖分析 · 自动生成约束 · AI辅助收敛

覆盖收敛实战案例

一个完整的UVM验证环境覆盖收敛实例

覆盖收敛最佳实践

团队协作 · 文档化 · 评审流程 · 持续集成