VIP20
本课程属于：054-无障碍国际化CI测试分层 移动端与Android应用开发 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

LTR转RTL自动验证学习指南

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
LTR与RTL概念概述
什么是LTR · 什么是RTL · 自动验证的出发点和价值
LTRRTL
02
验证方法论基础
等价性检查 · 形式化验证 · 仿真验证的区别与联系
验证方法论基础等价性检查
03
主流EDA工具介绍
Synopsys Formality · Cadence Conformal · Mentor FormalPro功能…
EDA主流
04
环境搭建（一）
工具安装 · License配置 · 操作系统要求与常见问题
环境搭建工具安装
05
环境搭建（二）
库文件设置 · 设计数据准备 · 项目目录结构规范
环境搭建库文件设置
06
LTR网表结构解析
门级网表 · 标准单元 · 连接关系的基本概念
LTR网表结构解析
07
RTL代码结构解析
Verilog/VHDL模块 · 层次化设计 · 数据流与控制流
RTL代码结构解析
08
自动验证流程总览
从LTR到RTL的验证流 · 脚本化执行 · 报告解读
自动验证流程总览LTR
09
等价性检查核心原理
逻辑锥 · 组合等价 · 时序等价
等价性检查核心原…逻辑锥
10
Formality实战（基础）
读取LTR网表 · 读取RTL设计 · 执行对比
FormalityLTR
11
Formality实战（进阶）
时钟域处理 · 异步复位同步释放 · 门控时钟分析
Formality进阶
12
Conformal实战（基础）
设计加载 · 映射设置 · 运行compare
Conformal设计加载
13
Conformal实战（进阶）
层次化验证 · Hierarchical比对 · ECO验证
Conformal进阶
14
脚本自动化（一）
Tcl/Perl脚本编写 · 批量运行 · 报告解析
脚本自动化Tcl/Perl
15
脚本自动化（二）
回归测试框架搭建 · 结果自动比对 · 邮件通知
脚本自动化回归测试框架搭建
16
调试技巧（一）
常见不匹配原因分类（语法 · 语义 · 综合差异）
调试技巧常见不匹配原因分…
17
调试技巧（二）
使用GUI调试工具 · 波形对比 · 断点分析
调试技巧GUI
18
调试技巧（三）
手动追踪逻辑锥 · 设置关键点 · 增量验证
调试技巧手动追踪逻辑锥
19
特殊场景验证
RAM/RF的等价性检查 · 黑盒处理 · unreachable点
特殊场景验证RAM/RF
20
时序验证结合
静态时序分析结果与等价性检查的配合使…
时序验证结合静态时序分析结果
21
功耗相关的验证
低功耗设计的LTR与RTL等价性检查…
功耗相关的验证LTR
22
可测试性设计（DFT）验证
扫描链 · BIST等结构的验证技巧
DFT可测试性设计
23
跨时钟域（CDC）验证
CDC问题在等价性检查中的体现与处理
CDC跨时钟域
24
形式化验证补充
使用Formal工具进行属性检查与等…
形式化验证补充Formal
25
覆盖率驱动验证
如何在自动验证中评估功能覆盖率与代码…
覆盖率驱动验证如何
26
案例分析（一）
工业级模块验证实战——PCIe PH…
案例分析PCIe
27
案例分析（二）
CPU核心的乱序执行验证难点与解决方…
案例分析CPU
28
案例分析（三）
SoC集成验证中多个IP核的层次化等…
案例分析SoC
29
常见误区与避坑指南
流水线设计 · 多周期路径 · 综合优化选项的影响
常见误区避坑指南
30
课程总结与进阶路径
从工具熟练到方法学精通 · 认证考试与社区资源
课程总结进阶路径