VIP20
本课程属于：046-数字IC形式化验证与EDA验证 芯片设计与FPGA · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

形式化覆盖率分析与验证收敛优化

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
形式化验证基础与收敛优化全景
核心概念 · 原理机制 · 实战要点
形式化验证基础收敛优化全景
02
验证计划与覆盖率驱动的验证流程
核心概念 · 原理机制 · 实战要点
验证计划覆盖率驱动的验证…
03
代码覆盖率基础
语句 · 分支与块覆盖：核心概念 · 原理机制
代码覆盖率基础语句
04
表达式覆盖率与有限状态机覆盖率
核心概念 · 原理机制 · 实战要点
表达式覆盖率有限状态机覆盖率
05
功能覆盖率模型与验证目标分解
核心概念 · 原理机制 · 实战要点
功能覆盖率模型验证目标分解
06
Covergroup、Coverpoint 与 Bins
核心概念 · 原理机制 · 实战要点
CovergroupCoverpoint
07
交叉覆盖率和上下文采样
核心概念 · 原理机制 · 实战要点
交叉覆盖率上下文采样
08
断言覆盖率与并发覆盖属性
核心概念 · 原理机制 · 实战要点
断言覆盖率并发覆盖属性
09
功能覆盖率数据的采集与采样控制
核心概念 · 原理机制 · 实战要点
功能覆盖率数据的…采样控制
10
覆盖率数据库、合并与一致性管理
核心概念 · 原理机制 · 实战要点
覆盖率数据库合并
11
覆盖率报告分析与未验证空间定位
核心概念 · 原理机制 · 实战要点
覆盖率报告分析未验证空间定位
12
随机约束激励与覆盖率反馈机制
核心概念 · 原理机制 · 实战要点
随机约束激励覆盖率反馈机制
13
面向收敛的权重调节和约束挖掘
核心概念 · 原理机制 · 实战要点
面向收敛的权重调…约束挖掘
14
定向激励生成与覆盖率死角突破
核心概念 · 原理机制 · 实战要点
定向激励生成覆盖率死角突破
15
形式化覆盖率
可达性与覆盖保证：核心概念 · 原理机制 · 实战要点
形式化覆盖率可达性
16
属性验证中的覆盖证明与反例分析
核心概念 · 原理机制 · 实战要点
属性验证覆盖证明
17
不可达覆盖与假设合理性分析
核心概念 · 原理机制 · 实战要点
不可达覆盖假设合理性分析
18
X 态传播和采样过滤对覆盖率的影响
核心概念 · 原理机制 · 实战要点
X态传播
19
形式化与动态验证结合收敛策略
核心概念 · 原理机制 · 实战要点
形式化动态验证结合收敛…
20
形式化模型检查与抽象技术在覆盖中的应用
核心概念 · 原理机制 · 实战要点
形式化模型检查抽象技术
21
等价性检查与变更影响覆盖
核心概念 · 原理机制 · 实战要点
等价性检查变更影响覆盖
22
覆盖率收敛指标、KPI 与报告可视化
核心概念 · 原理机制 · 实战要点
KPI覆盖率收敛指标
23
实时回归监控与自动化收敛判断
核心概念 · 原理机制 · 实战要点
实时回归监控自动化收敛判断
24
覆盖率驱动的验证管理平台与脚本体系
核心概念 · 原理机制 · 实战要点
覆盖率驱动的验证…脚本体系
25
低功耗验证与特殊场景覆盖率
核心概念 · 原理机制 · 实战要点
低功耗验证特殊场景覆盖率
26
SoC 级集成验证中的覆盖率收敛
核心概念 · 原理机制 · 实战要点
SoC级集成验证
27
跨模块约束与数据流覆盖分析
核心概念 · 原理机制 · 实战要点
跨模块约束数据流覆盖分析
28
验证收敛优化中的调试和根因分析
核心概念 · 原理机制 · 实战要点
验证收敛优化调试
29
大规模团队的覆盖率评审与流程协作
核心概念 · 原理机制 · 实战要点
大规模团队的覆盖…流程协作
30
完整项目实战
从验证计划到收敛关闸：核心概念 · 原理机制 · 实战要点
完整项目实战从验证计划到收敛…