半定制/全定制混合设计流程中验证方法研究
| 摘要 | 第1-12页 |
| ABSTRACT | 第12-13页 |
| 第一章 绪论 | 第13-20页 |
| ·课题研究背景 | 第13-14页 |
| ·微处理器相关验证技术 | 第14-17页 |
| ·课题研究的主要内容 | 第17-18页 |
| ·本文的结构 | 第18-20页 |
| 第二章 X处理器运算群部件验证解决方案 | 第20-27页 |
| ·半定制/全定制混合设计方法与验证流程 | 第20-22页 |
| ·X处理器运算群部件验证中面临的问题及验证策略 | 第22-26页 |
| ·运算群部件概述 | 第22-23页 |
| ·运算群部件验证中面临的问题 | 第23-24页 |
| ·运算群部件验证平台 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 X处理器运算群部件功能验证 | 第27-42页 |
| ·运算群部件等价性验证 | 第27-34页 |
| ·等价性验证方案 | 第27-28页 |
| ·形式等价检验 | 第28-33页 |
| ·动态等价验证 | 第33-34页 |
| ·运算群部件覆盖率驱动的模拟验证 | 第34-38页 |
| ·测试向量生成 | 第35-37页 |
| ·覆盖率分析 | 第37-38页 |
| ·基于断言的验证 | 第38-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 X处理器运算群部件时序验证 | 第42-71页 |
| ·运算群部件时序验证流程 | 第42-43页 |
| ·半定制/全定制混合验证时序模型 | 第43-48页 |
| ·时序模型的分类 | 第43-44页 |
| ·时序图及时序模型中延迟计算方法 | 第44-47页 |
| ·单元引脚电容提取方法 | 第47-48页 |
| ·半定制/全定制混合验证中的时序建模方法 | 第48-60页 |
| ·标准单元时序建模方法 | 第49-50页 |
| ·快速时序模型建模方法 | 第50-51页 |
| ·IP化时序建模方法 | 第51-53页 |
| ·穷尽的电路模拟建模方法 | 第53-57页 |
| ·有限电路模拟时序建模方法 | 第57-60页 |
| ·逻辑参数提取与参数曲面压缩 | 第60-65页 |
| ·初始参数曲面的确定 | 第60-61页 |
| ·基于动态规划的参数曲面压缩 | 第61-65页 |
| ·全定制宏单元静态时序分析 | 第65-70页 |
| ·本章小结 | 第70-71页 |
| 第五章 X处理器运算群部件物理验证 | 第71-78页 |
| ·物理验证流程 | 第71-72页 |
| ·电路串扰分析 | 第72-75页 |
| ·基于信号完整性的静态时序分析 | 第75-77页 |
| ·本章小结 | 第77-78页 |
| 第六章 总结与展望 | 第78-80页 |
| ·全文工作总结 | 第78页 |
| ·工作展望 | 第78-80页 |
| 致谢 | 第80-81页 |
| 参考文献 | 第81-84页 |
| 作者在学期间取得的学术成果 | 第84-85页 |
| 作者在学期间参与的科研项目 | 第85页 |
