YHFT-DX半定制/全定制混合设计流程中功能与时序验证
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-18页 |
| ·课题研究背景及意义 | 第11-13页 |
| ·相关验证技术的研究 | 第13-16页 |
| ·课题的主要内容 | 第16-17页 |
| ·论文的组织结构 | 第17-18页 |
| 第二章 验证方法概述 | 第18-30页 |
| ·功能验证的主要方法 | 第18-23页 |
| ·模拟验证 | 第18-20页 |
| ·形式验证 | 第20-23页 |
| ·时序验证的主要方法 | 第23-30页 |
| ·静态时序分析 | 第24-28页 |
| ·动态模拟 | 第28-30页 |
| 第三章 YHFT-DX 分支控制部件的功能验证 | 第30-50页 |
| ·分支控制部件的模拟验证 | 第30-35页 |
| ·分支控制部件的结构 | 第30-31页 |
| ·手工加激励的直接模拟 | 第31-33页 |
| ·直接模拟与伪随机测试生成相结合的模拟验证 | 第33-35页 |
| ·分支控制部件全定制设计的功能验证 | 第35-39页 |
| ·分支控制部件全定制设计简介 | 第35页 |
| ·功能模型的提取工具TranSpirit 简介 | 第35-36页 |
| ·全定制设计部件的功能验证 | 第36-39页 |
| ·分支控制部件的等价性验证 | 第39-47页 |
| ·等价性验证工具 | 第39-42页 |
| ·等价性验证方案 | 第42页 |
| ·分支控制部件的等价性验证实例 | 第42-47页 |
| ·功能等价性验证的动态模拟验证平台设计 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 第四章 YHFT-DX 地址计算部件的时序验证 | 第50-73页 |
| ·YHFT-DX 地址计算部件时序验证流程 | 第50-52页 |
| ·YHFT-DX 地址计算部件的时序模型 | 第52-69页 |
| ·时序模型分类 | 第52-53页 |
| ·时序模型中的延迟计算 | 第53-55页 |
| ·YHFT-DX 地址计算部件时序建模的方法 | 第55-57页 |
| ·时序模型中的数据获取 | 第57-61页 |
| ·YHFT-DX 地址计算部件时序库的结构 | 第61-66页 |
| ·不同情况下的时序建模 | 第66-69页 |
| ·YHFT-DX 地址计算部件的静态时序分析 | 第69-71页 |
| ·YHFT-DX 地址计算部件的动态时序验证 | 第71-72页 |
| ·本章小结 | 第72-73页 |
| 第五章 验证的辅助工具设计 | 第73-77页 |
| ·时序模型的自动化生成 | 第73-75页 |
| ·数据模拟部分的设计 | 第73页 |
| ·模型建立部分的设计 | 第73-75页 |
| ·其他辅助工具的开发 | 第75-76页 |
| ·文件列表工具 | 第75页 |
| ·语句格式修改工具 | 第75-76页 |
| ·本章小结 | 第76-77页 |
| 第六章 工作总结和展望 | 第77-79页 |
| ·全文工作总结 | 第77页 |
| ·未来工作展望 | 第77-79页 |
| 致谢 | 第79-80页 |
| 参考文献 | 第80-82页 |
| 作者在学期间取得的学术成果 | 第82页 |
