VIP20

本课程属于：207-Synopsys数字芯片验证与调试工程 芯片硬件与光电工程 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

Synopsys SpyGlass CDC与复位验证

共计 30 章节

可可资料掘金营 · 点击在线试看

CDC与复位验证全景

目标=多时钟域设计风险 · 亚稳态传播 · 复位域交叉问题

CDC复位验证全景

SpyGlass CDC工具环境搭建

目标=项目目录结构 · spyglass命令行与GUI启动 · 工艺库与设计读入

CDC规则集与检查流程

目标=cdc/cdc_verify_… · goal与rule关系 · 增量分析

时钟域建模与约束

目标=create_clock · 时钟分组 · 时钟域声明

时钟域建模约束

跨时钟域信号识别

目标=同步器结构识别 · 单比特与多比特信号分类 · 控制信号与数据信号区分

跨时钟域信号识别目标=同步器结构…

单比特同步器验证

目标=两级触发器同步 · 握手同步 · 脉冲同步器的结构检查与SpyGlas…

单比特同步器验证目标=两级触发器…

多比特CDC与数据一致性

目标=格雷码 · MUX同步 · 握手协议

异步FIFO的CDC专项验证

目标=读写指针同步 · 空满标志跨域 · 深度计算

复位域与复位同步

目标=同步复位 · 异步复位 · 异步复位同步释放

复位域复位同步

复位验证规则与检查

目标=SpyGlass复位规则集 · 复位树检查 · 复位域一致性

复位验证规则检查

CDC约束与 waiver 管理

目标=约束文件编写 · waiver 规则 · 合理豁免与签核标准

CDC结构检查实战

目标=从RTL读入到报告输出的完整流… · 针对一个多时钟域模块执行CDC结构检…

CDC结构检查实战

CDC功能验证与仿真联动

目标=SpyGlass CDC结果与… · 亚稳态注入仿真 · 形式验证辅助确认

CDC功能验证

复位验证实战

目标=针对含异步复位同步释放的模块 · 运行复位规则检查 · 定位复位域交叉与释放时序问题

复位验证实战目标=针对含异步…

时钟域交叉路径分析

目标=跨域路径追踪 · 同步深度计算 · MTBF评估

时钟域交叉路径分…目标=跨域路径追…

多时钟域SoC级CDC验证

目标=IP级与SoC级CDC检查差异 · 层次化约束 · 黑盒处理

低功耗设计中的CDC与复位问题

目标=时钟门控 · 电源域切换 · 隔离单元

CDC低功耗设计

CDC与复位验证的签核标准

目标=检查通过准则 · 残余风险接受 · waiver 审计

CDC复位验证的签核标…

SpyGlass CDC高级规则与定制

目标=自定义规则 · 参数化检查 · 规则阈值调整

CDC问题调试与根因分析

目标=从报告到RTL的定位方法 · 波形辅助 · 常见误报与真实缺陷的区分

CDC问题调试

复位域交叉专项调试

目标=复位信号跨时钟域 · 复位释放顺序 · 复位同步器缺失

复位域交叉专项调…目标=复位信号跨…

CDC与复位验证的回归策略

目标=回归用例设计 · 自动化脚本 · 结果比对

CDC复位验证的回归策…

SpyGlass CDC与复位验证的团队协作

目标=设计 · 验证 · 后端协作

CDC与复位验证的文档与交付

目标=验证计划 · 检查清单 · 报告模板

CDC复位验证的文档

典型CDC缺陷案例剖析

目标=多比特信号直接跨域 · 脉冲丢失 · 复位释放竞争

SpyGlass CDC与复位验证的自动化流程

目标=Makefile/脚本集成 · CI/CD流水线 · 夜间回归

CDC与复位验证的形式化辅助

目标=形式验证工具与SpyGlass… · 断言检查 · 覆盖证明

CDC复位验证的形式化…

先进工艺与新型架构下的CDC挑战

目标=FinFET工艺 · 多电压域 · Chiplet

CDC先进工艺

CDC与复位验证项目实战

目标=从需求到签核的完整项目模拟 · 包含约束编写 · 检查执行

CDC复位验证项目实战

课程总结与能力评估

目标=核心知识回顾 · 常见陷阱 · 最佳实践

课程总结能力评估