基于SpecmanElite的HOXC芯片中TXP模块验证
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-9页 |
| ·ASIC前端设计验证的现状 | 第7-8页 |
| ·验证工作的重要性 | 第8页 |
| ·验证的关键技术与现状 | 第8-9页 |
| ·本文的主要工作 | 第9-11页 |
| 第二章 自动化功能验证 | 第11-23页 |
| ·功能验证方式和仿真器 | 第11-13页 |
| ·功能验证方式 | 第11页 |
| ·仿真器 | 第11-13页 |
| ·验证方法 | 第13-17页 |
| ·传统的验证方法 | 第13-15页 |
| ·基于覆盖率的验证方法 | 第15-17页 |
| ·验证自动化 | 第17-19页 |
| ·验证自动化理论 | 第17-19页 |
| ·验证自动化工具 | 第19页 |
| ·验证重用 | 第19-21页 |
| ·重用的必要性 | 第19页 |
| ·TXP模块验证组件重用性分析 | 第19-21页 |
| ·本章小结 | 第21-23页 |
| 第三章 HOXC芯片设计 | 第23-35页 |
| ·ASIC芯片开发流程 | 第23-24页 |
| ·相关协议 | 第24-30页 |
| ·SDH相关协议 | 第24-26页 |
| ·OTN相关协议 | 第26-28页 |
| ·对各种类型数据的扰码 | 第28-30页 |
| ·项目简介 | 第30-31页 |
| ·TXP模块 | 第31-33页 |
| ·本章小结 | 第33-35页 |
| 第四章 TXP模块验证组件的开发 | 第35-45页 |
| ·generator的设计 | 第35-36页 |
| ·bfm的设计 | 第36-39页 |
| ·tx_monitor的设计 | 第39-40页 |
| ·rx_monitor的设计 | 第40-41页 |
| ·rm的设计 | 第41页 |
| ·scoreboard的设计 | 第41-43页 |
| ·本章小结 | 第43-45页 |
| 第五章 TXP模块验证组件的应用 | 第45-57页 |
| ·TXP模块验证平台的使用 | 第45-49页 |
| ·验证模块间的连接 | 第45-47页 |
| ·TB的建立 | 第47页 |
| ·寄存器模型的建立和使用 | 第47-49页 |
| ·仿真编译脚本建立 | 第49页 |
| ·TC的应用 | 第49-52页 |
| ·TC的确定 | 第50页 |
| ·回归脚本 | 第50-52页 |
| ·覆盖率的收集 | 第52-55页 |
| ·覆盖率分析 | 第52-54页 |
| ·功能覆盖率范例 | 第54-55页 |
| ·打印信息的使用 | 第55页 |
| ·结果分析与讨论 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第六章 结论 | 第57-59页 |
| 致谢 | 第59-61页 |
| 参考文献 | 第61-63页 |
| 研究成果 | 第63-64页 |
