嵌入式DSP处理器的设计与验证
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-15页 |
| ·引言 | 第7页 |
| ·数字信号处理 | 第7-8页 |
| ·DSP处理器的特点 | 第8-10页 |
| ·DSP处理器的性能评价 | 第10-11页 |
| ·DSP处理器的发展及现状 | 第11-13页 |
| ·DSP处理器的发展历史 | 第11-12页 |
| ·国内DSP处理器的发展现状 | 第12-13页 |
| ·DSP处理器的应用 | 第13-14页 |
| ·研究内容及论文安排 | 第14-15页 |
| 第二章 DSP处理器的体系结构 | 第15-31页 |
| ·引言 | 第15页 |
| ·处理器设计基础 | 第15-26页 |
| ·指令系统 | 第15-19页 |
| ·存储系统 | 第19-22页 |
| ·流水线 | 第22-26页 |
| ·μDSP的体系结构设计 | 第26-30页 |
| ·改进型哈佛总线结构 | 第26-27页 |
| ·六级流水线设计 | 第27页 |
| ·特殊的指令系统 | 第27-28页 |
| ·灵活的寻址方式 | 第28-30页 |
| ·强大的控制部件 | 第30页 |
| ·高速的运算单元 | 第30页 |
| ·本章小结 | 第30-31页 |
| 第三章 DSP处理器的设计与实现 | 第31-47页 |
| ·引言 | 第31-32页 |
| ·指令集的设计 | 第32-34页 |
| ·程序流控制指令 | 第32页 |
| ·数据移动指令 | 第32-33页 |
| ·运算指令 | 第33页 |
| ·多功能指令 | 第33-34页 |
| ·程序控制器的设计 | 第34-37页 |
| ·指令地址选择逻辑 | 第34页 |
| ·程序计数器和PC堆栈 | 第34-35页 |
| ·循环计数器和计数堆栈 | 第35页 |
| ·循环比较器及其堆栈 | 第35-36页 |
| ·中断控制器 | 第36-37页 |
| ·流水线控制逻辑 | 第37页 |
| ·数据地址发生器的设计 | 第37-39页 |
| ·运算部件的设计 | 第39-46页 |
| ·乘累加单元(MAC) | 第39-41页 |
| ·算术逻辑单元(ALU) | 第41-42页 |
| ·移位器(Shitler) | 第42-46页 |
| ·本章小结 | 第46-47页 |
| 第四章 DSP处理器的可测性设计 | 第47-58页 |
| ·引言 | 第47-48页 |
| ·集成电路的可测性设计方法学 | 第48-50页 |
| ·扫描技术 | 第48-49页 |
| ·内建自测试技术 | 第49-50页 |
| ·μDSP的可测性设计策略 | 第50-57页 |
| ·边界扫描测试 | 第51-55页 |
| ·RAM的内建自测试 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 第五章 DSP处理器的验证策略 | 第58-81页 |
| ·引言 | 第58页 |
| ·VLSI的验证方法学 | 第58-66页 |
| ·模拟验证技术 | 第59-61页 |
| ·形式验证技术 | 第61-65页 |
| ·静态时序分析 | 第65-66页 |
| ·μBDSP的层次化验证策略 | 第66-80页 |
| ·验证流程和环境 | 第66-67页 |
| ·模拟验证 | 第67-71页 |
| ·等效检查 | 第71-74页 |
| ·静态时序分析 | 第74-80页 |
| ·本章小结 | 第80-81页 |
| 结论 | 第81-83页 |
| 参考文献 | 第83-86页 |
| 致谢 | 第86-87页 |
| 附录 攻读硕士学位期间发表的论文 | 第87页 |
