基于VMM覆盖率导向验证方法的研究和应用
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-18页 |
| ·研究背景及意义 | 第10-11页 |
| ·研究现状及发展趋势 | 第11-13页 |
| ·国外研究现状 | 第11-12页 |
| ·国内研究现状 | 第12-13页 |
| ·发展趋势 | 第13页 |
| ·覆盖率导向验证方法的发展 | 第13-15页 |
| ·验证技术的划分 | 第13-14页 |
| ·覆盖率导向验证方法的发展 | 第14-15页 |
| ·论文的主要研究内容 | 第15页 |
| ·论文的组织结构 | 第15-18页 |
| 第2章 覆盖率导向验证环境的结构 | 第18-28页 |
| ·Testbench的概述 | 第18-20页 |
| ·Testbench的简述 | 第18页 |
| ·Testbench的结构 | 第18-20页 |
| ·覆盖率导向验证中的Testbench结构 | 第20-21页 |
| ·基于事务的验证方法 | 第20页 |
| ·覆盖率导向验证的Testbench结构 | 第20-21页 |
| ·层次化覆盖率导向验证的Testbench结构 | 第21页 |
| ·VMM验证平台 | 第21-24页 |
| ·VMM验证方法学的产生 | 第21-22页 |
| ·VMM验证平台的特点 | 第22-24页 |
| ·SystemVerilog概述 | 第24-27页 |
| ·SystemVerilog简介 | 第24-26页 |
| ·SystemVerilog的断言 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 覆盖率导向验证方法的研究 | 第28-40页 |
| ·代码覆盖率 | 第28-29页 |
| ·功能覆盖率及其建模 | 第29-34页 |
| ·功能覆盖率 | 第29页 |
| ·功能覆盖率模型 | 第29-30页 |
| ·覆盖点 | 第30-31页 |
| ·确定功能覆盖率的属性 | 第31页 |
| ·功能覆盖率的属性的关系 | 第31-34页 |
| ·断言覆盖率 | 第34页 |
| ·覆盖率导向验证方法中激励的产生 | 第34-38页 |
| ·测试激励的生产方法 | 第34-37页 |
| ·覆盖率导向验证方法中的测试激励的生成方式 | 第37-38页 |
| ·覆盖率导向验证方法中的响应检查 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第4章 覆盖率导向的MVBC验证 | 第40-56页 |
| ·多功能车辆控制器概述 | 第40-42页 |
| ·TCN的概述 | 第40-41页 |
| ·MVBC模块组成 | 第41-42页 |
| ·主控单元的功能概述 | 第42-44页 |
| ·MCU功能简介 | 第42-43页 |
| ·帧和报文 | 第43-44页 |
| ·各类设备的区别 | 第44页 |
| ·MCU的验证 | 第44-55页 |
| ·覆盖率导向验证方法的验证流程图 | 第44-46页 |
| ·编写验证计划 | 第46页 |
| ·MCU的有限状态机建模 | 第46-50页 |
| ·顶层模块和事务模块 | 第50-51页 |
| ·驱动模块和监视模块的实现 | 第51-53页 |
| ·记分板和参考模型的实现 | 第53-54页 |
| ·功能覆盖率模型 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 第5章 验证结果分析 | 第56-66页 |
| ·验证环境的搭建 | 第56-57页 |
| ·覆盖率结果分析 | 第57-62页 |
| ·整体覆盖率分析 | 第57页 |
| ·代码覆盖率 | 第57-58页 |
| ·行覆盖率 | 第58页 |
| ·条件覆盖率 | 第58-59页 |
| ·有限状态机覆盖率 | 第59页 |
| ·功能覆盖率报告分析 | 第59-61页 |
| ·断言覆盖率报告分析 | 第61-62页 |
| ·仿真结果缺陷分析 | 第62-64页 |
| ·本章小结 | 第64-66页 |
| 结论 | 第66-68页 |
| 参考文献 | 第68-72页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第72-74页 |
| 致谢 | 第74页 |
