| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-18页 |
| ·论文背景 | 第10-16页 |
| ·超大规模集成电路设计流程 | 第10-11页 |
| ·国内外微处理器验证的研究现状 | 第11-15页 |
| ·论文主要工作 | 第15-16页 |
| ·论文提纲 | 第16-18页 |
| 第二章 AC8201指令编程模型 | 第18-24页 |
| ·寄存器组织 | 第18-21页 |
| ·功能单元 | 第21页 |
| ·指令流水线 | 第21-22页 |
| ·AC8201体系结构 | 第22页 |
| ·指令集介绍 | 第22-23页 |
| ·语法约定 | 第22-23页 |
| ·目的寄存器的表示 | 第23页 |
| ·源寄存器的表示 | 第23页 |
| ·本章小结 | 第23-24页 |
| 第三章 仿真平台的设计与实现 | 第24-45页 |
| ·芯片验证方法综述 | 第24-27页 |
| ·总体设计 | 第27-33页 |
| ·仿真平台工作流程 | 第29-33页 |
| ·指令的产生 | 第33-37页 |
| ·单一功能单元指令的产生 | 第34-36页 |
| ·多功能单元指令的产生 | 第36-37页 |
| ·其它类型指令产生 | 第37页 |
| ·指令功能执行模块 | 第37-42页 |
| ·程序逻辑控制指令 | 第37-39页 |
| ·加载/存储(Load/Store) | 第39-40页 |
| ·算术运算单元 | 第40-42页 |
| ·矢量运算单元 | 第42页 |
| ·指令结果比对处理模块 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 Monte Carlo在随机测试中的应用 | 第45-52页 |
| ·蒙特卡罗(Monte Carlo)方法介绍 | 第45-46页 |
| ·随机数和随机变量的产生 | 第46-48页 |
| ·linear congruential generator | 第46-47页 |
| ·Mersenne twister | 第47-48页 |
| ·任意概率分布随机变量的产生办法 | 第48页 |
| ·Mento Carlo误差估计 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 第五章 系统测试与结果分析 | 第52-54页 |
| ·测试环境 | 第52页 |
| ·测试效果 | 第52-54页 |
| 第六章 总结与展望 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 致谢 | 第57-58页 |
| 作者攻读硕士学位期间发表的学术论文目录 | 第58页 |