VIP20
本课程属于：208-Synopsys STA综合与数字实现工程 芯片硬件与光电工程 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

Synopsys Formality等价验证工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
Formality等价验证工程导入
目标=课程目标 · 验证对象 · 工程流程全景与学习路径
Formality等价验证工程导入
02
等价验证基础与Formality定位
目标=等价性概念 · 形式验证分类 · Formality在RTL到门级流程…
Formality等价验证基础
03
Formality工具架构与运行机制
目标=核心引擎 · 匹配算法 · 求解器
Formality工具架构
04
工程环境搭建
目标=安装配置 · License管理 · 工作目录组织
工程环境搭建目标=安装配置
05
设计读取与库配置
目标=Verilog/VHDL/Sy… · 工艺库 · DB库
设计读取库配置
06
参考设计与实现设计准备
目标=RTL · 综合网表 · DFT网表
参考设计实现设计准备
07
匹配与比较基础
目标=匹配点识别 · 比较点定义 · 黑盒处理
匹配比较基础
08
Setup模式与匹配策略
目标=analyze · elaborate · match
Setup模式
09
等价验证约束编写
目标=set_constant · set_dont_verify · set_case_analysis
等价验证约束编写set
10
时钟与复位处理
目标=时钟定义 · 门控时钟 · 分频时钟
时钟复位处理
11
综合优化导致的等价问题
目标=资源共享 · 寄存器复制 · 有限状态机重编码
综合优化导致的等…目标=资源共享
12
DFT插入后的等价验证
目标=扫描链插入 · 测试模式 · 扫描使能
DFT插入后的等价验证
13
低功耗设计等价验证
目标=时钟门控 · 电源门控 · 多电压域
低功耗设计等价验…目标=时钟门控
14
物理综合与布局布线后等价验证
目标=物理优化 · 缓冲器插入 · 尺寸调整
物理综合布局布线后等价验…
15
层次化设计与模块级验证
目标=层次边界 · 接口匹配 · 模块复用
层次化设计模块级验证
16
黑盒与第三方IP处理
目标=黑盒建模 · 接口时序 · IP替换
IP黑盒
17
不匹配诊断与调试
目标=失败点定位 · 反例波形 · 逻辑锥分析
不匹配诊断调试
18
Formality脚本自动化
目标=Tcl脚本编写 · 批处理模式 · 变量参数化
Formality脚本自动化
19
验证覆盖率与质量评估
目标=匹配覆盖率 · 比较点覆盖率 · 未验证点分类
验证覆盖率质量评估
20
性能优化与大规模设计处理
目标=内存管理 · 多线程 · 分布式处理
性能优化大规模设计处理
21
常见错误与陷阱
目标=读入错误 · 库不匹配 · 约束冲突
常见错误陷阱
22
Formality与仿真验证对比
目标=等价验证优势 · 局限性 · 与动态仿真的互补关系及混合验证流程
Formality仿真验证对比
23
Formality与LEC工具对比
目标=与其他等价验证工具的功能差异 · 流程集成与选型考量
FormalityLEC
24
先进工艺节点下的等价验证
目标=FinFET · 多 patterning · 工艺变异
先进工艺节点下的…FinFET
25
SoC级等价验证实战
目标=多时钟域 · 多电源域 · 复杂互连
SoC级等价验证实战
26
RTL到网表等价验证完整案例
目标=从RTL读入 · 综合网表读入 · 约束编写到验证通过的全流程演练
RTL到网表等价验证完…
27
网表到网表等价验证案例
目标=综合后网表与DFT网表 · 物理网表之间的等价验证与差异调试
网表到网表等价验…DFT
28
回归测试与持续集成
目标=Formality回归套件搭建 · 自动化触发 · 结果分析与失败分类
回归测试持续集成
29
验证签核与文档规范
目标=签核标准 · 验证报告 · 问题追踪
验证签核文档规范
30
课程总结与工程能力提升
目标=知识体系回顾 · 常见问题速查 · 进阶学习方向与实战经验分享
课程总结工程能力提升