基于UVM可重用验证平台的研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 缩略语对照表 | 第11-15页 |
| 第一章 绪论 | 第15-19页 |
| ·研究的背景和意义 | 第15页 |
| ·国内外研究现状 | 第15-16页 |
| ·论文主要工作与内容安排 | 第16-19页 |
| 第二章 理论基础与验证需求分析 | 第19-29页 |
| ·高级验证语言与验证方法学 | 第19-22页 |
| ·SystemVerilog验证语言 | 第19-20页 |
| ·UVM验证方法学特点 | 第20-22页 |
| ·UVM标准库 | 第22页 |
| ·AMBA总线规范 | 第22-24页 |
| ·APB(高级外设总线) | 第22-23页 |
| ·AHB(高级高性能总线) | 第23-24页 |
| ·SOC结构与验证需求分析 | 第24-27页 |
| ·SoC系统架构 | 第24-25页 |
| ·验证目标 | 第25-26页 |
| ·功能验证与平台结构分析 | 第26-27页 |
| ·本章小结 | 第27-29页 |
| 第三章 基于UVM可重用验证平台的建立与应用 | 第29-59页 |
| ·验证任务分析 | 第29-32页 |
| ·UART功能与规格描述 | 第29-30页 |
| ·UART接 | 第30-31页 |
| ·寄存器描述 | 第31-32页 |
| ·验证测试点分析 | 第32页 |
| ·验证平台结构设计 | 第32-36页 |
| ·验证平台层次化结构 | 第33-34页 |
| ·验证平台的工作机制 | 第34-35页 |
| ·验证平台运行流程 | 第35-36页 |
| ·低层次验证组件设计 | 第36-47页 |
| ·事务基类 | 第36-38页 |
| ·接口 Interface | 第38-39页 |
| ·config机制 | 第39-40页 |
| ·代理agent | 第40-41页 |
| ·sequencer | 第41页 |
| ·驱动器driver | 第41-42页 |
| ·监视器monitor | 第42-43页 |
| ·Scoreboard | 第43页 |
| ·sequence | 第43-45页 |
| ·环境类env | 第45-46页 |
| ·顶层top | 第46-47页 |
| ·验证实施 | 第47-58页 |
| ·UVC可执行文件 | 第47-48页 |
| ·测试向量Test Library | 第48-49页 |
| ·覆盖率模型Coverage model | 第49-50页 |
| ·断言 | 第50-52页 |
| ·验证平台文件层次化管理 | 第52-55页 |
| ·验证结果 | 第55-58页 |
| ·性能分析 | 第58页 |
| ·本章小结 | 第58-59页 |
| 第四章 基于UVM验证平台可重用性应用 | 第59-71页 |
| ·验证任务分析 | 第59-60页 |
| ·SPI功能描述 | 第59页 |
| ·接口信号 | 第59-60页 |
| ·寄存器描述 | 第60页 |
| ·验证平台可重用性应用 | 第60-63页 |
| ·SPI验证环境 | 第60-61页 |
| ·验证组件的重用 | 第61-63页 |
| ·验证的实施 | 第63-67页 |
| ·编译文件 | 第63-64页 |
| ·DVE界面波形 | 第64-65页 |
| ·覆盖率相关报告 | 第65-67页 |
| ·性能分析 | 第67页 |
| ·系统级可重用性探究 | 第67-69页 |
| ·APB子系统结构 | 第67-68页 |
| ·APB子系统验证平台 | 第68-69页 |
| ·本章小结 | 第69-71页 |
| 第五章 总结与展望 | 第71-73页 |
| ·总结 | 第71-72页 |
| ·展望 | 第72-73页 |
| 致谢 | 第73-75页 |
| 参考文献 | 第75-77页 |
| 附录A 覆盖组收集 | 第77-79页 |
| 附录B 部分记录报告 | 第79-84页 |
