基于UVM的ARINC429总线接口模块验证平台的设计与实现

目录

声明

插图索引

表格索引

符号对照表

缩略语对照表

第一章 绪论

1.1研究背景及意义

1.2国内外研究现状及发展趋势

1.3课题的来源

1.4论文的组织结构

第二章 UVM平台结构及机制研究

2.1 SystemVerilog验证语言特性

2.2 UVM验证平台基本结构分析

2.3 UVM验证方法学机制研究

2.4本章小结

第三章 ARINC429总线接口模块与验证需求分析

3.1 ARINC429总线协议研究

3.2 ARINC429总线接口模块分析

3.3子模块结构及工作原理研究

3.4验证需求分析

3.5本章小结

第四章 基于UVM的验证平台设计与实现

4.1验证目标

4.2验证平台总体框架设计

4.3 APB验证环境构建

4.4 c429验证环境构建

4.5 RST验证环境构建

4.6自动对比组件实现

4.7时序及功能检查组件实现

4.8本章小结

第五章 仿真验证及结果分析

5.1创建仿真环境

5.2编写测试用例及仿真验证

5.3覆盖率分析

5.4本章小结

第六章 总结与展望

6.1全文总结

6.2创新性分析

6.3未来展望

参考文献

致谢

作者简介