| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 符号对照表 | 第12-13页 |
| 缩略语对照表 | 第13-16页 |
| 第一章 绪论 | 第16-24页 |
| 1.1 选题背景及意义 | 第16-18页 |
| 1.2 研究现状及挑战 | 第18-21页 |
| 1.2.1 芯片功能验证 | 第19-20页 |
| 1.2.2 芯片性能验证 | 第20-21页 |
| 1.2.3 芯片效能(功耗)验证 | 第21页 |
| 1.3 论文主要工作和结果 | 第21-24页 |
| 第二章 功能验证监测子系统的设计与实现 | 第24-76页 |
| 2.1 功能验证流程和方法介绍 | 第24-34页 |
| 2.1.2 功能验证方法的比较分析 | 第25-32页 |
| 2.1.3 提取SoC系统级功能验证难点 | 第32-33页 |
| 2.1.4 明确HKY功能监测子系统的设计要求 | 第33-34页 |
| 2.2 HKY功能验证子系统的设计实现 | 第34-74页 |
| 2.2.2 直接编程接口DPI介绍 | 第36-41页 |
| 2.2.3 基于功能覆盖率驱动验证方法 | 第41-44页 |
| 2.2.4 标准化的功能覆盖率接口定义和实现及其应用 | 第44-55页 |
| 2.2.5 系统级中心化的寄存器模型开发和集成 | 第55-63页 |
| 2.2.6 处理器操作行为在线解析和分析验证 | 第63-69页 |
| 2.2.7 目标对象中时钟信息的在线捕获和分析验证 | 第69-74页 |
| 2.3 本章小结 | 第74-76页 |
| 第三章 性能、效能验证监测子系统的设计与实现 | 第76-94页 |
| 3.1 性能验证和效能验证方法介绍 | 第76-80页 |
| 3.1.1 性能验证介绍 | 第76-78页 |
| 3.1.2 效能验证介绍 | 第78-80页 |
| 3.2 HKY性能验证子系统的设计实现 | 第80-86页 |
| 3.3 HKY效能验证子系统的设计实现 | 第86-93页 |
| 3.4 本章小结 | 第93-94页 |
| 第四章 功能、性能和效能验证监测子系统的集成 | 第94-106页 |
| 4.1 HKY功能、性能和效能验证子系统的集成方案 | 第94-95页 |
| 4.2 HKY功能、性能和效能验证子系统的集成实现 | 第95-105页 |
| 4.3 本章小结 | 第105-106页 |
| 第五章 HKY验证监测系统的仿真验证和结果分析 | 第106-128页 |
| 5.1 验证场景描述 | 第107-117页 |
| 5.2 仿真验证和结果分析 | 第117-126页 |
| 5.2.1 功能验证仿真结果和分析 | 第117-122页 |
| 5.2.2 性能验证仿真结果和分析 | 第122-125页 |
| 5.2.3 效能验证仿真结果和分析 | 第125-126页 |
| 5.3 本章小结 | 第126-128页 |
| 第六章 总结和展望 | 第128-132页 |
| 6.1 论文总结 | 第128-129页 |
| 6.2 研究展望 | 第129-132页 |
| 参考文献 | 第132-136页 |
| 致谢 | 第136-138页 |
| 作者简介 | 第138-139页 |
