数字信号处理器的流水结构设计及验证研究
目录 | 第1-7页 |
插图索引 | 第7-8页 |
表格索引 | 第8-9页 |
第一章 绪论 | 第9-28页 |
1.1 引言 | 第9页 |
1.2 DSP处理器的介绍 | 第9-14页 |
1.2.1 DSP处理器的发展简史 | 第9-10页 |
1.2.2 DSP处理器的多样分类 | 第10页 |
1.2.3 DSP处理器的广泛应用 | 第10-12页 |
1.2.4 DSP处理器的技术展望 | 第12-14页 |
1.3 DSP处理器的特点 | 第14-19页 |
1.3.1 微处理器的比较 | 第14-16页 |
1.3.2 DSP独特的架构 | 第16-19页 |
1.4 MD16体系结构的特色 | 第19-22页 |
1.4.1 双状态机 | 第19-20页 |
1.4.2 流水级可扩展MAC | 第20页 |
1.4.3 等效双端口单周期访问存储器 | 第20-21页 |
1.4.4 专用地址计算单元 | 第21页 |
1.4.5 跳转预测 | 第21-22页 |
1.4.6 自动递减计数循环 | 第22页 |
1.5 DSP处理器的验证平台 | 第22-27页 |
1.5.1 软硬件协同仿真验证 | 第22-24页 |
1.5.2 验证的定义和分类 | 第24-26页 |
1.5.3 MD16的仿真验证 | 第26-27页 |
1.6 本文主要贡献和结构安排 | 第27-28页 |
第二章 基于IP核的DSP流水结构设计 | 第28-43页 |
2.1 基于IP核设计的启发 | 第28-32页 |
2.1.1 指令集的选择 | 第29-30页 |
2.1.2 IP核的选择 | 第30-32页 |
2.2 流水控制的策略 | 第32-35页 |
2.2.1 集中控制 | 第33-34页 |
2.2.2 分散响应 | 第34-35页 |
2.3 流水控制单元的微结构实现 | 第35-40页 |
2.3.1 跳转判决 | 第35-38页 |
2.3.2 停顿检测 | 第38页 |
2.3.3 有限状态机的设计 | 第38-40页 |
2.4 实验结果和结论 | 第40-42页 |
2.5 本章小结 | 第42-43页 |
第三章 流水结构中竞争的检测与解除策略 | 第43-59页 |
3.1 流水结构中的各种竞争 | 第43-44页 |
3.1.1 引言 | 第43-44页 |
3.2 结构竞争 | 第44-45页 |
3.2.1 结构竞争的产生 | 第44页 |
3.2.2 结构竞争的消除 | 第44-45页 |
3.3 控制竞争 | 第45-50页 |
3.3.1 控制竞争的定义 | 第45-46页 |
3.3.2 控制竞争的消除 | 第46-47页 |
3.3.3 MD16控制竞争的处理 | 第47-50页 |
3.4 数据竞争 | 第50-58页 |
3.4.1 数据竞争的定义 | 第50-51页 |
3.4.2 数据竞争的分类检测原理 | 第51-53页 |
3.4.3 分类检测的辅助电路 | 第53-54页 |
3.4.4 DSP核中停顿检测电路的实现 | 第54-55页 |
3.4.5 数据竞争的消除 | 第55-56页 |
3.4.6 实验结果和结论 | 第56-58页 |
3.5 本章小结 | 第58-59页 |
第四章 仿真验证平台的构建 | 第59-77页 |
4.1 基本指令集自动验证子平台 | 第59-63页 |
4.1.1 指令树遍历 | 第60-61页 |
4.1.2 软件仿真 | 第61页 |
4.1.3 自动测试优化 | 第61-62页 |
4.1.4 自动测试的一个例子 | 第62-63页 |
4.1.5 本节的实验结果和结论 | 第63页 |
4.2 高代码覆盖率的验证子平台 | 第63-69页 |
4.2.1 代码覆盖率分类 | 第64-65页 |
4.2.2 状态机覆盖率 | 第65-66页 |
4.2.3 遍历状态机 | 第66-67页 |
4.2.4 状态机遍历的确认 | 第67-68页 |
4.2.5 状态机覆盖率计算的一个实例 | 第68-69页 |
4.2.6 本节实验结果和结论 | 第69页 |
4.3 形式验证子平台 | 第69-71页 |
4.4 FPGA原型验证子平台 | 第71-76页 |
4.4.1 硬件平台 | 第72-74页 |
4.4.2 软件平台 | 第74-75页 |
4.4.3 仿真验证实例和结论 | 第75-76页 |
4.5 本章小结 | 第76-77页 |
全文总结 | 第77-78页 |
参考文献 | 第78-82页 |
作者硕士期间发表的论文 | 第82-83页 |
作者参与的科研项目和课题 | 第83-84页 |
致谢 | 第84页 |