基于UVM对IP核UART的验证研究与实现
摘要 | 第5-6页 |
ABSTRACT | 第6-7页 |
符号对照表 | 第11-12页 |
缩略语对照表 | 第12-16页 |
第一章 绪论 | 第16-22页 |
1.1 选题的背景和意义 | 第16-17页 |
1.2 课题研究的国内外趋势 | 第17-19页 |
1.3 课题研究的性能指标 | 第19页 |
1.4 论文的章节安排 | 第19-22页 |
第二章 验证的相关理论 | 第22-30页 |
2.1 IP的概论 | 第22-23页 |
2.1.1 IP的简介 | 第22页 |
2.1.2 IP的应用现状和前景 | 第22-23页 |
2.2 验证技术的概论 | 第23-28页 |
2.2.1 验证的概述 | 第23-24页 |
2.2.2 验证语言发展 | 第24-25页 |
2.2.3 功能验证技术 | 第25-28页 |
2.2.4 主流验证技术的缺点 | 第28页 |
2.3 本章小结 | 第28-30页 |
第三章 UVM验证方法学简介 | 第30-42页 |
3.1 UVM的特性 | 第30-31页 |
3.2 UVM的类 | 第31-32页 |
3.3 UVM的树形结构 | 第32-33页 |
3.4 UVM验证环境机制 | 第33-37页 |
3.4.1 UVM的factory机制 | 第33-34页 |
3.4.2 UVM的phase机制 | 第34-35页 |
3.4.3 UVM的sequence机制 | 第35-36页 |
3.4.4 UVM的config_db机制 | 第36-37页 |
3.5 UVM中的TLM通信 | 第37-39页 |
3.6 UVM中的寄存器模型 | 第39-41页 |
3.7 本章小结 | 第41-42页 |
第四章 UART核验证实现需求及策略 | 第42-60页 |
4.1 UART核概述 | 第42-43页 |
4.2 UART软核端口功能介绍 | 第43-49页 |
4.2.1 UART主要功能概述 | 第44-46页 |
4.2.2 端口信号概述 | 第46-47页 |
4.2.3 UART的寄存器概述 | 第47-49页 |
4.3 UART验证平台的思想策略 | 第49-59页 |
4.3.1 验证平台规划 | 第49-50页 |
4.3.2 UART验证平台的重要特性 | 第50-53页 |
4.3.3 功能点的提取与分析 | 第53-55页 |
4.3.4 带约束的随机激励 | 第55-56页 |
4.3.5 结果检查 | 第56页 |
4.3.6 分析覆盖率 | 第56-59页 |
4.4 本章小结 | 第59-60页 |
第五章 UART验证平台的实现 | 第60-78页 |
5.1 验证平台的总体架构 | 第60-61页 |
5.2 UART验证组件的实现 | 第61-76页 |
5.2.1 事务基类transaction设计 | 第62-63页 |
5.2.2 序列发生器sequencer设计 | 第63页 |
5.2.3 驱动器组件driver设计 | 第63-67页 |
5.2.4 监控器组件monitor设计 | 第67-68页 |
5.2.5 代理器组件agent设计 | 第68-69页 |
5.2.6 计分板组件scoreboard设计 | 第69-71页 |
5.2.7 序列发生器激励sequence设计 | 第71-72页 |
5.2.8 接口interface设计 | 第72-73页 |
5.2.9 功能覆盖率组件设计 | 第73-74页 |
5.2.10 验证环境env设计 | 第74-75页 |
5.2.11 测试用例tastcase设计 | 第75页 |
5.2.12 顶层设计 | 第75-76页 |
5.3 本章小结 | 第76-78页 |
第六章 UART核的仿真与分析 | 第78-86页 |
6.1 验证环境 | 第78页 |
6.2 基本测试用例 | 第78-83页 |
6.2.1 APB对寄存器读写访问测试 | 第78-79页 |
6.2.2 波特率测试 | 第79-80页 |
6.2.3 收发数据测试 | 第80-81页 |
6.2.4 收发数据的中断测试 | 第81-82页 |
6.2.5 Modem端口自环绕收发测试 | 第82-83页 |
6.3 代码覆盖率统计 | 第83-84页 |
6.4 功能覆盖率统计 | 第84-85页 |
6.5 本章小结 | 第85-86页 |
第七章 总结与展望 | 第86-88页 |
7.1 总结 | 第86页 |
7.2 展望 | 第86-88页 |
参考文献 | 第88-90页 |
致谢 | 第90-92页 |
作者简介 | 第92-93页 |