| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第一章 绪论 | 第9-15页 |
| 1.1 选题背景及研究意义 | 第9-10页 |
| 1.2 国内外研究现状 | 第10-13页 |
| 1.3 论文主要内容安排 | 第13-15页 |
| 第二章 AMBA总线协议及DO-254标准简介 | 第15-22页 |
| 2.1 AHB总线 | 第15-17页 |
| 2.1.1 AHB总线信号 | 第16页 |
| 2.1.2 AHB总线操作流程 | 第16-17页 |
| 2.2 APB总线 | 第17-19页 |
| 2.2.1 APB总线信号 | 第17-18页 |
| 2.2.2 APB总线操作流程 | 第18-19页 |
| 2.3 ASB总线 | 第19页 |
| 2.4 DO-254硬件设计过程 | 第19-21页 |
| 2.5 本章小结 | 第21-22页 |
| 第三章 片上总线及IP核设计 | 第22-46页 |
| 3.1 需求捕获 | 第22-23页 |
| 3.2 概念设计 | 第23-44页 |
| 3.2.1 架构设计 | 第23-25页 |
| 3.2.2 AHB总线仲裁及译码器设计 | 第25-32页 |
| 3.2.3 AHB-APBBridge设计 | 第32-37页 |
| 3.2.4 基于APB总线接口的多通路航空总线收发IP设计 | 第37-44页 |
| 3.3 详细设计 | 第44-45页 |
| 3.4 本章小结 | 第45-46页 |
| 第四章 设计验证及分析 | 第46-74页 |
| 4.1 SystemVerilog验证语言及验证环境 | 第46-48页 |
| 4.2 验证平台及组件 | 第48-52页 |
| 4.2.1 代码顶层Testbench | 第49页 |
| 4.2.2 测试案例和配置文件 | 第49-50页 |
| 4.2.3 环境 | 第50-51页 |
| 4.2.4 Generator,Driver和Monitor | 第51-52页 |
| 4.2.5 Referencemodel和Scoreboard | 第52页 |
| 4.3 设计功能验证结果及分析 | 第52-63页 |
| 4.3.1 AHB总线仲裁及译码功能验证结果及分析 | 第52-55页 |
| 4.3.2 AHB-APBBridge功能验证结果及分析 | 第55-59页 |
| 4.3.3 多通路航空总线收发IP核功能验证结果及分析 | 第59-63页 |
| 4.4 元素化分析 | 第63-68页 |
| 4.4.1 覆盖率验证结果及分析 | 第63-66页 |
| 4.4.2 断言验证及分析 | 第66-68页 |
| 4.5 跨时钟域分析 | 第68-70页 |
| 4.5.1 CDC同步电路结构检查结果及分析 | 第68-69页 |
| 4.5.2 基于断言的CDC同步电路协议验证结果及分析 | 第69-70页 |
| 4.6 设计实现 | 第70-72页 |
| 4.7 验证总结 | 第72-74页 |
| 第五章 总结与展望 | 第74-75页 |
| 致谢 | 第75-76页 |
| 参考文献 | 第76-79页 |
| 作者简介 | 第79页 |
