摘要 | 第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页 |