VIP6
本课程属于：184-数字IC EDA签核工具链 芯片硬件与光电工程 · 共 6 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

Cadence Conformal形式化验证从入门到精通

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
课程导入
形式化验证的基本概念 · Cadence Conformal工… · 学习路径与课程目标
课程导入形式化验证的基本…
02
形式化验证基础
等价性检查 · 模型检查 · 属性检查等核心概念
形式化验证基础等价性检查
03
Cadence Conformal工具概述
工具版本 · 安装环境 · 图形界面与命令行模式
CadenceConformal
04
设计读入与库设置
读取RTL · 门级网表 · 约束文件
设计读入库设置
05
映射与匹配
逻辑锥划分 · 关键点映射（寄存器 · 端口
映射匹配
06
等价性检查流程
设置参考设计与实现设计 · 运行LEC · 分析通过/失败结果
等价性检查流程设置参考设计
07
调试失败案例
定位不匹配点 · 使用原理图窗口 · 波形对比
调试失败案例定位不匹配点
08
约束与设置
使用SDC约束 · 设置时钟 · 异步信号
约束设置
09
层次化验证
模块级验证 · 顶层集成验证 · 黑盒化处理
层次化验证模块级验证
10
Datapath验证
算术单元（加法器 · 乘法器 · 移位器）的等价性检查
Datapath验证
11
顺序等价性检查（SEC）
时序逻辑等价性验证 · 重定时（retiming）验证 · 流水线修改验证
SEC顺序等价性检查
12
属性检查（Property Checking）
使用SVA（SystemVerilo… · Conformal Property…
PropertyChecking
13
形式化验证与仿真协同
形式化验证与动态仿真的互补性 · 如何结合使用提高验证覆盖率
形式化验证仿真协同
14
ECO验证
工程变更单（ECO）后的等价性验证 · 增量验证流程 · ECO验证的注意事项
ECO验证
15
低功耗设计验证
电源域 · 隔离单元 · 电平转换器
低功耗设计验证电源域
16
时钟域交叉（CDC）验证
CDC结构识别 · 同步器验证 · CDC等价性检查方法
CDC时钟域交叉
17
脚本化与自动化
使用Tcl脚本编写验证流程 · 批量运行 · 回归测试
脚本化自动化
18
与综合工具集成
与Cadence Genus · Synopsys Design Co… · 验证综合前后一致性
综合工具集成Cadence
19
与布局布线集成
与Innovus等后端工具集成 · 验证布局布线后的网表与综合网表的一致…
布局布线集成Innovus
20
形式化验证在功能安全中的应用
ISO 26262等标准下的形式化验… · 故障注入与安全机制验证
形式化验证功能安全
21
常见问题与解决方案
内存溢出 · 运行时间过长 · 映射失败
常见问题解决方案
22
性能优化
减少内存消耗 · 加速验证运行 · 并行处理
性能优化减少内存消耗
23
案例实战
RTL到门级网表的等价性验证完整流程 · 从设置到调试的实战演练
案例实战RTL
24
案例实战
大规模SoC验证 · 层次化验证策略 · 多核处理器验证实例
案例实战SoC
25
案例实战
ECO验证实战 · 修改功能后的快速验证流程
案例实战ECO
26
案例实战
Datapath验证实战 · 复杂算术单元的验证与调试
案例实战Datapath
27
案例实战
CDC验证实战 · 异步时钟域设计的验证方法
案例实战CDC
28
综合提升
形式化验证方法论 · 验证计划制定 · 团队协作与流程管理
综合提升形式化验证方法论
29
高级主题
形式化验证与机器学习结合 · 形式化验证在安全关键系统中的应用趋势
高级主题形式化验证
30
课程总结与项目实践
综合项目练习 · 从设计到验证的完整流程 · 课程回顾与进阶学习建议
课程总结项目实践