X微处理器时序验证
| 图目录 | 第1-8页 |
| 表目录 | 第8-9页 |
| 摘要 | 第9-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-15页 |
| §1.1 课题的研究背景 | 第11-12页 |
| §1.2 课题研究内容 | 第12-13页 |
| §1.3 论文结构 | 第13-15页 |
| 第二章 时序验证概述 | 第15-30页 |
| §2.1 引言 | 第15页 |
| §2.2 时序验证的主要方法及其发展状况 | 第15-27页 |
| ·动态模拟方法 | 第15-19页 |
| ·静态时序分析 | 第19-25页 |
| ·统计时序分析 | 第25-27页 |
| §2.3 X微处理器时序验证面临的问题及应对策略 | 第27-30页 |
| 第三章 X微处理器复杂电路模块的时序建模 | 第30-46页 |
| §3.1 需要创建时序模型的电路类型 | 第30页 |
| §3.2 时序模型的基本类型 | 第30-33页 |
| ·静态时序模型 | 第31-33页 |
| ·动态时序模型 | 第33页 |
| §3.3 时序建模的基本方法 | 第33-39页 |
| ·基于动态模拟的方法 | 第33-36页 |
| ·基于静态分析的方法 | 第36-38页 |
| ·时序模型中的数据表示 | 第38-39页 |
| §3.4 X微处理器电路模块的时序建模 | 第39-46页 |
| ·对于I／O延时的处理 | 第40-41页 |
| ·对于约束时间的处理 | 第41-42页 |
| ·时序建模实例 | 第42-46页 |
| 第四章 X微处理器的静态时序分析 | 第46-64页 |
| §4.1 处理器STA的基本流程 | 第46-48页 |
| §4.2 处理器静态时序分析中的层次关系 | 第48-49页 |
| §4.3 时序库文件的生成 | 第49-52页 |
| ·基本单元的时序库 | 第49-50页 |
| ·电路模块的时序库 | 第50-52页 |
| §4.4 实现逻辑设计与物理设计的对应 | 第52-54页 |
| §4.5 多媒体部件的静态时序分析实例 | 第54-64页 |
| 第五章 X微处理器的动态时序验证 | 第64-72页 |
| §5.1 产生SDF文件 | 第64-67页 |
| §5.2 描述单元的specify信息 | 第67-69页 |
| §5.3 反标延时信息 | 第69页 |
| §5.4 多媒体部件精确动态模拟实例 | 第69-72页 |
| 第六章 结束语 | 第72-73页 |
| §6.1 全文工作总结 | 第72页 |
| §6.2 未来工作展望 | 第72-73页 |
| 致谢 | 第73-74页 |
| 攻硕期间发表的文章 | 第74-75页 |
| 参考文献 | 第75-76页 |
