| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-15页 |
| ·课题研究意义 | 第9-12页 |
| ·课题背景和应用发展方向 | 第12-14页 |
| ·本文主要研究内容 | 第14-15页 |
| 第2章 基于Transaction级的验证平台构建 | 第15-24页 |
| ·TRANSACTION的定义 | 第15-16页 |
| ·验证平台的层次化 | 第16-18页 |
| ·基于TRANSACTION的验证平台构建 | 第18-20页 |
| ·验证平台各模块介绍 | 第20-24页 |
| ·sequence | 第20页 |
| ·gen | 第20页 |
| ·channel | 第20页 |
| ·BFM | 第20-21页 |
| ·checker | 第21-22页 |
| ·AIP(Assertion IP) | 第22-24页 |
| 第3章 VLX++库 | 第24-47页 |
| ·STRUCT和CLASS的实现 | 第24-29页 |
| ·有关变量的定义 | 第24-25页 |
| ·struct | 第25-27页 |
| ·class | 第27-29页 |
| ·CHANNEL和VIRTUAL CHANNEL的实现 | 第29-36页 |
| ·channel的结构 | 第29-30页 |
| ·channel的成员函数 | 第30-33页 |
| ·virtual channel | 第33-34页 |
| ·virtual channel与channel的连接原理 | 第34-36页 |
| ·TASK和VIRTUAL TASK的实现 | 第36-38页 |
| ·实现约束化随机 | 第38-47页 |
| ·测试激励的选择 | 第38-41页 |
| ·约束化的随机数生成 | 第41-43页 |
| ·一定概率分布的随机数生成 | 第43-47页 |
| 第4章 激光控制器的验证方案 | 第47-63页 |
| ·基于TRANSACTION级的验证方案 | 第47-52页 |
| ·DUV整体工作环境 | 第47-48页 |
| ·基于事务级的验证平台方案 | 第48-49页 |
| ·总体验证流程 | 第49-52页 |
| ·DATA GENERATOR中随机激励的产生 | 第52-58页 |
| ·normal模式 | 第52-53页 |
| ·FIFO和trigger模式 | 第53-58页 |
| ·CHANNEL和TASK的应用 | 第58-63页 |
| ·channel和virtual channel的应用 | 第58-60页 |
| ·task和virtual task的应用 | 第60-63页 |
| 第5章 结果数据统计及其分析 | 第63-69页 |
| ·正常模式 | 第63-64页 |
| ·异常模式 | 第64-67页 |
| ·实验结果分析与展望 | 第67-69页 |
| 参考文献 | 第69-72页 |
| 附录 | 第72-78页 |
| 致谢 | 第78-79页 |
| 研究生履历 | 第79页 |
