航空总线协议芯片功能覆盖测试技术研究与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 引言 | 第14-20页 |
| ·研究背景 | 第14-15页 |
| ·芯片功能验证的发展现状 | 第15-18页 |
| ·验证存在的挑战 | 第15-16页 |
| ·功能覆盖率驱动的验证 | 第16-18页 |
| ·随机激励生成技术 | 第18页 |
| ·本文组织结构 | 第18-20页 |
| 第二章 航空总线协议芯片结构及其验证方法 | 第20-29页 |
| ·航空总线协议 | 第20-21页 |
| ·航空总线芯片的外设接口和内部架构 | 第21-22页 |
| ·外设接口 | 第21-22页 |
| ·内部模块 | 第22页 |
| ·芯片的关键信号提取 | 第22-27页 |
| ·内存架构分析及关键信号提取 | 第23-24页 |
| ·控制寄存器配置信息提取 | 第24-25页 |
| ·命令帧特征分析及随机生成方式 | 第25-27页 |
| ·状态帧的随机生成方式 | 第27页 |
| ·航空总线协议芯片的验证方法 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 基于功能覆盖率的激励生成 | 第29-45页 |
| ·功能覆盖率驱动的验证技术 | 第29-31页 |
| ·功能覆盖率驱动的基于遗传算法的激励生成 | 第31-36页 |
| ·基于功能覆盖率的遗传算法运算思想 | 第31-32页 |
| ·算法流程 | 第32-34页 |
| ·编码方式 | 第34-36页 |
| ·基于代码逻辑深度与覆盖率关系的适应度函数 | 第36-41页 |
| ·代码逻辑深度和功能覆盖率的关系 | 第36-40页 |
| ·传输状态的等效设置 | 第40-41页 |
| ·适应度函数的构造 | 第41页 |
| ·关键参数的设置 | 第41-44页 |
| ·种群规模 | 第42-43页 |
| ·交叉概率和变异概率 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 协议芯片的验证平台搭建 | 第45-65页 |
| ·VMM 验证平台 | 第45-46页 |
| ·参考模型 | 第46-48页 |
| ·配置类的设计 | 第48-51页 |
| ·基于约束的配置设计 | 第48-50页 |
| ·基于遗传算法的配置设计 | 第50-51页 |
| ·生成器的设计 | 第51-53页 |
| ·驱动器的设计 | 第53-55页 |
| ·芯片的配置 | 第53页 |
| ·信息帧的发送 | 第53-55页 |
| ·回调设计 | 第55页 |
| ·监视器的设计 | 第55-56页 |
| ·记分板的设计 | 第56-57页 |
| ·接口的设计 | 第57页 |
| ·环境的设计 | 第57-58页 |
| ·测试层的设计 | 第58-59页 |
| ·功能覆盖点的设计 | 第59-63页 |
| ·断言的插入 | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 功能验证结果及分析 | 第65-79页 |
| ·功能验证流程 | 第65-66页 |
| ·日志报告的生成 | 第66-67页 |
| ·代码覆盖率 | 第67-71页 |
| ·功能覆盖率 | 第71-77页 |
| ·性能分析 | 第77-78页 |
| ·本章小结 | 第78-79页 |
| 第六章 结论与展望 | 第79-80页 |
| 致谢 | 第80-81页 |
| 参考文献 | 第81-84页 |
| 攻硕期间取得的研究成果 | 第84-85页 |
