首页
›
芯片设计与FPGA
›
046-数字IC形式化验证与EDA验证
›
《数字IC功能正确性验证工程实践》
VIP20
本课程属于:046-数字IC形式化验证与EDA验证
芯片设计与FPGA · 共 20 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录
咨询 / 购买
📘
数字IC功能正确性验证实战指南
共计 30 章节
点击此处阅读海量试读课程:100+行业、1000+细分领域
01
验证的基本概念与功能正确性目标
核心概念 · 原理机制 · 实战要点
验证的基本概念
功能正确性目标
02
V模型开发流程与验证阶段划分
核心概念 · 原理机制 · 实战要点
V模型开发流程
验证阶段划分
03
验证计划与规格拆解
核心概念 · 原理机制 · 实战要点
验证计划
规格拆解
04
验证环境的可重用架构设计
核心概念 · 原理机制 · 实战要点
验证环境的可重用…
核心概念
05
Testbench基础与信号级激励
核心概念 · 原理机制 · 实战要点
Testbench
信号级激励
06
仿真事件调度与时间模型
核心概念 · 原理机制 · 实战要点
仿真事件调度
时间模型
07
约束随机激励生成
核心概念 · 原理机制 · 实战要点
约束随机激励生成
核心概念
08
功能覆盖率建模与统计
核心概念 · 原理机制 · 实战要点
功能覆盖率建模
统计
09
代码覆盖率与覆盖率收敛策略
核心概念 · 原理机制 · 实战要点
代码覆盖率
覆盖率收敛策略
10
SVA断言与功能属性检查
核心概念 · 原理机制 · 实战要点
SVA
断言
11
断言复用与断言覆盖率
核心概念 · 原理机制 · 实战要点
断言复用
断言覆盖率
12
参考模型与计分板
核心概念 · 原理机制 · 实战要点
参考模型
计分板
13
事务级建模与TLM通信
核心概念 · 原理机制 · 实战要点
TLM
事务级建模
14
UVM架构与组件层次
核心概念 · 原理机制 · 实战要点
UVM
架构
15
UVM sequence机制与激励控制
核心概念 · 原理机制 · 实战要点
UVM
sequence
16
UVM寄存器模型与访问测试
核心概念 · 原理机制 · 实战要点
UVM
寄存器模型
17
验证IP的封装与测试基准构建
核心概念 · 原理机制 · 实战要点
IP
验证
18
仿真波形分析与调试方法
核心概念 · 原理机制 · 实战要点
仿真波形分析
调试方法
19
日志设计与日志分级管理
核心概念 · 原理机制 · 实战要点
日志设计
日志分级管理
20
缺陷管理流程与收敛度量
核心概念 · 原理机制 · 实战要点
缺陷管理流程
收敛度量
21
回归测试策略与自动化流水线
核心概念 · 原理机制 · 实战要点
回归测试策略
自动化流水线
22
随机种子与固化的工程技巧
核心概念 · 原理机制 · 实战要点
随机种子
固化的工程技巧
23
形式化功能验证基础
核心概念 · 原理机制 · 实战要点
形式化功能验证基…
核心概念
24
静态检查与lint流程
核心概念 · 原理机制 · 实战要点
lint
静态检查
25
低功耗功能验证
核心概念 · 原理机制 · 实战要点
低功耗功能验证
核心概念
26
模块级验证环境搭建实战
核心概念 · 原理机制 · 实战要点
模块级验证环境搭…
核心概念
27
SoC集成验证与接口协议性验证
核心概念 · 原理机制 · 实战要点
SoC
集成验证
28
基于UVM的IP验证实战案例
核心概念 · 原理机制 · 实战要点
UVM
IP
29
覆盖率驱动的收敛与signoff检查
核心概念 · 原理机制 · 实战要点
signoff
覆盖率驱动的收敛
30
验证方法学总结与工程师成长路径
核心概念 · 原理机制 · 实战要点
验证方法学总结
工程师成长路径
所属VIP或分类
同VIP:AI芯片与SoC形式化验证方法
同VIP:Cadence-JasperGold形式化验证实战教程
同VIP:CDC跨时钟域形式化验证实战