| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 绪论 | 第9-13页 |
| ·CDC 同步与验证研究背景 | 第9-10页 |
| ·CDC 同步与验证研究现状 | 第10页 |
| ·论文内容安排 | 第10-13页 |
| 第二章 数字 SOC 的 CDC 问题分析 | 第13-27页 |
| ·跨时钟域同步概述 | 第13-14页 |
| ·数字设计中常见的 CDC 问题 | 第14-18页 |
| ·CDC 中的亚稳态传播问题 | 第14-15页 |
| ·CDC 中异步输入数据的保持时间问题 | 第15页 |
| ·CDC 中的数据关联和竞争 | 第15-17页 |
| ·CDC 中复杂的同步设计 | 第17页 |
| ·CDC 中的异步复位同步问题 | 第17-18页 |
| ·亚稳态与 MTBF 分析 | 第18-27页 |
| ·基于不同时钟域的 MTBF 分析 | 第18-24页 |
| ·基于不同电压域的 MTBF 分析 | 第24-27页 |
| 第三章 CDC 同步设计分析与传统验证方法 | 第27-41页 |
| ·单 Bit 信号 CDC 同步设计分析 | 第27-32页 |
| ·慢时钟域到快时钟域的同步情况 | 第27-29页 |
| ·快时钟域到慢时钟域的同步情况 | 第29-32页 |
| ·多 Bit 信号 CDC 同步设计分析 | 第32-36页 |
| ·握手协议同步设计 | 第32-35页 |
| ·异步 FIFO 同步设计 | 第35-36页 |
| ·异步复位信号的同步设计 | 第36-37页 |
| ·CDC 同步设计的传统验证方法 | 第37-39页 |
| ·本章小结 | 第39-41页 |
| 第四章 基于 SpyGlass 的数字芯片 CDC 静态验证 | 第41-63页 |
| ·SpyGlass 的 CDC 静态验证方法分析 | 第41-43页 |
| ·静态 CDC 验证方法需求特点 | 第41-42页 |
| ·SpyGlass 的 CDC 静态验证方法分析 | 第42-43页 |
| ·SpyGlass 的 CDC 静态验证环境的设计 | 第43-55页 |
| ·SpyGlass 的数字芯片 Top-Level CDC 验证环境的搭建 | 第43-51页 |
| ·SpyGlass 相关的同步电路识别分类 | 第51-55页 |
| ·基于 SpyGlass 静态验证结果的分析与 RTL 修正 | 第55-61页 |
| ·qualifier 不存在的 violation 情况 | 第55-56页 |
| ·multi-sources 关联的 violation 情况 | 第56-58页 |
| ·combo-logic 处于传输路径中的 violation 情况 | 第58-59页 |
| ·目的触发器驱动多条数据路径的 violation 情况 | 第59-60页 |
| ·hold-time check failed 的 violation 情况 | 第60-61页 |
| ·本章小结 | 第61-63页 |
| 第五章 总结与展望 | 第63-65页 |
| ·总结 | 第63页 |
| ·技术展望 | 第63-65页 |
| 致谢 | 第65-66页 |
| 参考文献 | 第66-68页 |
