VIP20

本课程属于：036-RTL设计 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

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

功能覆盖驱动的RTL验证实战

📚 共计 30 章节

验证方法论概述

功能验证的挑战 · 覆盖率驱动验证(CDV) · 验证计划的重要性

SystemVerilog断言基础

立即断言与并发断言 · assert/assume/cover · 断言与覆盖率

功能覆盖点定义

covergroup/coverpoint · bins定义 · 交叉覆盖率

covergroup交叉覆盖

覆盖率驱动的测试平台架构

验证环境组件 · 覆盖率收集器 · 反馈循环机制

覆盖率分析与收敛

数据收集与合并 · 功能覆盖率 vs 代码覆盖率 · 回归策略

随机约束与覆盖率

随机化激励 · 约束求解器 · 定向与随机平衡

高级覆盖点技术

状态机覆盖率 · 序列覆盖率 · 转换覆盖率

覆盖率驱动的调试

低覆盖率根因 · 空洞填补 · 报告解读

形式化验证与覆盖率

形式化基础 · 断言证明 · 动态仿真结合

形式化证明

项目实战：完整CDV流程

从计划到签收 · 覆盖率驱动验证全流程

验证计划文档编写

定义验证目标 · 功能点映射 · 计划评审

SystemVerilog OOP在验证中应用

类、继承、多态、随机化

UVM框架 · 组件层次 · 序列与驱动器

UVM中的覆盖率集成

嵌入covergroup · 报告机制与覆盖率挂钩

高级UVM技巧

寄存器模型 · 门级仿真 · 性能优化

断言库与重用

SVA库构建 · 断言宏 · 跨项目重用

覆盖率驱动的激励生成策略

边界测试 · 异常测试 · 协议违例

多核与SoC验证

SoC挑战 · 互连协议覆盖 · 功耗感知

低功耗验证

电源域切换覆盖 · 低功耗断言 · UPF

验证度量与质量指标

覆盖率度量 · VCS标准 · 逃逸率分析

仿真加速与覆盖率

硬件加速 · 仿真与形式化协同

脚本自动化与覆盖率

Python/Perl处理 · 自动化报告 · CI/CD

覆盖率数据库管理

UCIS格式 · 数据库合并 · 回归管理

验证IP（VIP）开发

VIP架构 · 覆盖率嵌入 · 交付标准

基于断言的验证IP (ABVIP)

设计模式 · 协议检查器 · 覆盖率监视器

机器学习在验证中的应用

ML预测空洞 · 优化随机种子 · 辅助调试

验证环境的重用策略

垂直重用 · 水平重用 · 参数化环境

覆盖率驱动的形式化属性检查

属性规约 · k-induction · BMC · 抽象

形式化属性

团队协作 · 版本控制 · 流程标准化 · 里程碑

课程总结与未来趋势

验证技术演进 · 开源工具 · AI影响