VIP20
本课程属于：217-Cadence Xcelium与Jasper验证工程 芯片硬件与光电工程 · 共 20 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

Jasper CDC/RDC形式验证工程

共计 30 章节
可可资料掘金营 · 点击在线试看
01
CDC/RDC形式验证工程导入
目标=Jasper CDC/RDC工… · 验证目标 · 与动态仿真和静态检查的差异
CDC/RDC形式验证工程导入
02
时钟域与复位域基础建模
目标=时钟定义 · 时钟域交叉 · 复位域交叉
时钟域复位域基础建模
03
Jasper CDC/RDC环境搭建
目标=工程目录结构 · 文件列表 · 编译选项
JasperCDC/RDC
04
时钟与复位约束编写
目标=create_clock · create_reset · 时钟分组
时钟复位约束编写
05
CDC结构识别与报告
目标=Jasper自动识别跨时钟域路… · 同步器类型 · CDC结构分类
CDC结构识别
06
RDC结构识别与报告
目标=复位域交叉路径识别 · 复位同步器 · 复位释放与断言
RDC结构识别
07
同步器建模与验证
目标=两级触发器 · 握手同步 · 脉冲同步
同步器建模验证
08
CDC/RDC约束与豁免
目标=set_cdc · set_rdc · quasi_static
CDC/RDC约束
09
CDC/RDC形式引擎与证明策略
目标=Jasper形式引擎选择 · 证明深度 · 收敛策略
CDC/RDC形式引擎
10
跨时钟域数据一致性验证
目标=数据稳定性 · 多比特聚合 · 格雷码
跨时钟域数据一致…目标=数据稳定性
11
跨复位域数据一致性验证
目标=复位释放顺序 · 复位同步释放 · 复位域交叉数据保持
跨复位域数据一致…目标=复位释放顺…
12
异步FIFO形式验证实战
目标=读写指针同步 · 空满标志生成 · 深度与阈值
FIFO异步
13
握手与脉冲同步协议验证
目标=请求应答握手 · 脉冲展宽 · 脉冲同步丢失
握手脉冲同步协议验证
14
时钟门控与低功耗CDC验证
目标=时钟门控单元 · 门控时钟域交叉 · 低功耗状态切换
CDC时钟门控
15
复位域交叉与复位树验证
目标=复位树结构 · 复位同步器级联 · 复位毛刺
复位域交叉复位树验证
16
CDC/RDC与DFT/扫描链交互
目标=扫描模式下的时钟复位行为 · 测试时钟域 · 扫描链跨域
CDC/RDCDFT
17
CDC/RDC与门级网表验证
目标=综合后网表 · 时钟树 · 复位树
CDC/RDC门级网表验证
18
CDC/RDC与UPF/CPF低功耗意图
目标=电源域 · 隔离单元 · 电平转换器
CDC/RDCUPF/CPF
19
CDC/RDC形式验证中的抽象与建模
目标=黑盒 · 白盒 · 切点
CDC/RDC形式验证
20
CDC/RDC验证覆盖率与签核
目标=覆盖类型 · 结构覆盖 · 断言覆盖
CDC/RDC验证覆盖率
21
CDC/RDC问题调试与波形分析
目标=反例波形 · 调试视图 · 信号追踪
CDC/RDC问题调试
22
CDC/RDC验证回归与自动化
目标=脚本化流程 · Makefile/CI集成 · 批量运行
CDC/RDC验证回归
23
CDC/RDC验证性能优化
目标=大规模设计切分 · 并行证明 · 资源分配
CDC/RDC验证性能优化
24
CDC/RDC验证中的常见陷阱与最佳实践
目标=约束错误 · 模型错误 · 豁免滥用
CDC/RDC验证
25
多时钟多复位复杂场景验证
目标=多时钟域交织 · 多复位域嵌套 · 时钟切换
多时钟多复位复杂…目标=多时钟域交…
26
CDC/RDC形式验证与动态仿真协同
目标=形式验证发现问题的仿真复现 · 仿真加速 · 混合验证流程与结果一致性检查
CDC/RDC形式验证
27
CDC/RDC形式验证在IP与SoC集成中的应用
目标=IP级CDC/RDC验证 · SoC集成检查 · 接口协议
CDC/RDCIP
28
CDC/RDC形式验证案例一
目标=异步FIFO设计从RTL到门级… · 问题定位与修复
CDC/RDC形式验证案例一
29
CDC/RDC形式验证案例二
目标=多时钟域SoC子系统复位域交叉… · 低功耗场景与DFT模式联合验证
CDC/RDC形式验证案例二
30
CDC/RDC形式验证工程总结与前沿
目标=方法学总结 · 工具演进 · AI辅助验证
CDC/RDC形式验证工程总结