航空用429总线控制器的设计与验证
| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第12-13页 |
| 缩略语对照表 | 第13-17页 |
| 第一章 绪论 | 第17-21页 |
| 1.1 机载总线 | 第17页 |
| 1.2 SoC技术 | 第17-18页 |
| 1.3 IP核复用技术 | 第18页 |
| 1.4 论文研究背景及意义 | 第18-19页 |
| 1.5 论文结构 | 第19-20页 |
| 1.6 本章小结 | 第20-21页 |
| 第二章 总线协议 | 第21-31页 |
| 2.1 ARINC429协议 | 第21-26页 |
| 2.1.1 ARINC 429 概述 | 第21页 |
| 2.1.2 ARINC429传输方式 | 第21-22页 |
| 2.1.3 ARINC429电气特性 | 第22-23页 |
| 2.1.4 ARINC429总线传输速率 | 第23页 |
| 2.1.5 ARINC429字格式 | 第23-25页 |
| 2.1.6 端口时序描述 | 第25-26页 |
| 2.2 OPB总线 | 第26-29页 |
| 2.2.1 片上总线概述 | 第26-27页 |
| 2.2.2 OPB总线介绍 | 第27-29页 |
| 2.3 本章小结 | 第29-31页 |
| 第三章 429总线控制器设计 | 第31-55页 |
| 3.1 设计目标 | 第31页 |
| 3.2 系统架构 | 第31-32页 |
| 3.3 模块化设计 | 第32-34页 |
| 3.4 寄存器实现 | 第34页 |
| 3.5 ARINC 429 总线控制器设计 | 第34-54页 |
| 3.5.1 顶层模块设计 | 第34-36页 |
| 3.5.2 OPB接口模块设计 | 第36-38页 |
| 3.5.3 时钟分频模块设计 | 第38-39页 |
| 3.5.4 寄存器控制子模块设计 | 第39-41页 |
| 3.5.5 时钟同步子模块设计 | 第41-42页 |
| 3.5.6 发送器设计 | 第42-46页 |
| 3.5.7 接收器设计 | 第46-50页 |
| 3.5.8 自测试功能设计 | 第50页 |
| 3.5.9 异步FIFO缓冲设计 | 第50-53页 |
| 3.5.10 中断控制子模块设计 | 第53-54页 |
| 3.6 本章小结 | 第54-55页 |
| 第四章 429总线控制器验证 | 第55-69页 |
| 4.1 功能验证 | 第55-56页 |
| 4.2 验证方法介绍 | 第56-59页 |
| 4.2.1 事务级的验证方法 | 第56-57页 |
| 4.2.2 基于BFM的验证方法 | 第57-58页 |
| 4.2.3 软硬件协同验证 | 第58-59页 |
| 4.3 功能模型设计 | 第59-63页 |
| 4.3.1 OPB总线功能模型设计 | 第59页 |
| 4.3.2 slave_rx从设备接收模型 | 第59-61页 |
| 4.3.3 tran_bfm外部设备发送模型设计 | 第61-62页 |
| 4.3.4 外环模型设计 | 第62-63页 |
| 4.4 验证过程 | 第63-67页 |
| 4.4.1 模块级验证 | 第63-65页 |
| 4.4.2 系统级验证 | 第65-67页 |
| 4.5 本章小结 | 第67-69页 |
| 第五章 验证结果及其分析 | 第69-87页 |
| 5.1 模块级典型验证项 | 第69-74页 |
| 5.1.1 ARINC429发送器单向功能验证 | 第69-70页 |
| 5.1.2 ARINC429接收器单向功能验证 | 第70-71页 |
| 5.1.3 错误情况验证 | 第71-73页 |
| 5.1.4 大容差验证 | 第73-74页 |
| 5.2 系统级典型验证项 | 第74-83页 |
| 5.2.1 ARINC429发送与接收验证 | 第75-76页 |
| 5.2.2 中断验证 | 第76-83页 |
| 5.3 仿真的覆盖率 | 第83-85页 |
| 5.4 本章小结 | 第85-87页 |
| 第六章 总结及展望 | 第87-89页 |
| 参考文献 | 第89-91页 |
| 致谢 | 第91-93页 |
| 作者简介 | 第93-94页 |
