| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第1章 绪论 | 第7-11页 |
| ·课题的背景及研究的目的和意义 | 第7-8页 |
| ·本文研究内容及章节安排 | 第8-11页 |
| 第2章 VMM验证方法学 | 第11-19页 |
| ·System Verilog介绍 | 第11-12页 |
| ·基于断言的验证 | 第12-14页 |
| ·VMM验证方法学 | 第14-16页 |
| ·VMM标准库介绍 | 第16-19页 |
| 第3章 缓存管理模块BA | 第19-25页 |
| ·BA模块的介绍 | 第19-20页 |
| ·BA的主要功能 | 第20-21页 |
| ·BA模块的接口介绍 | 第21-23页 |
| ·本章小结 | 第23-25页 |
| 第4章 BA模块的验证环境 | 第25-55页 |
| ·BA模块的测试点分解 | 第25-27页 |
| ·BA模块的验证架构 | 第27-31页 |
| ·BA模块验证组件的设计 | 第31-52页 |
| ·interface | 第31-33页 |
| ·package | 第33-34页 |
| ·BFM | 第34-48页 |
| ·CHECKER | 第48-50页 |
| ·ENV | 第50-51页 |
| ·command | 第51-52页 |
| ·BA模块验证环境的重用 | 第52-53页 |
| ·本章小结 | 第53-55页 |
| 第5章 BA模块的仿真 | 第55-63页 |
| ·BA模块的验证环境调试 | 第55-56页 |
| ·验证环境的单独调试 | 第55-56页 |
| ·验证环境与RTL代码的联调 | 第56页 |
| ·BA模块的仿真 | 第56-61页 |
| ·BA模块的验证出口条件 | 第61-62页 |
| ·本章小结 | 第62-63页 |
| 第6章 总结与展望 | 第63-65页 |
| ·总结 | 第63页 |
| ·展望 | 第63-65页 |
| 致谢 | 第65-67页 |
| 参考文献 | 第67-69页 |
| 附录 | 第69-90页 |
| 附录A: C_BA_SUB_WR_BFM组件详细代码 | 第69-72页 |
| 附录B: C_AXI_SLAVE_BFM组件详细代码 | 第72-90页 |