超大规模集成电路设计流程中的验证技术及实践
| 第一章 序论 | 第1-9页 |
| 第一节 验证概述 | 第6-7页 |
| 第二节 本文的章节安排 | 第7-9页 |
| 第二章 验证流程及评估 | 第9-26页 |
| 第一节 简介和前瞻 | 第9-18页 |
| ·验证概述 | 第9-11页 |
| ·功能验证流程 | 第11-17页 |
| ·测试平台 | 第17页 |
| ·历史沿革和前瞻 | 第17-18页 |
| 第二节 验证结果的评估 | 第18-25页 |
| ·发现bug的速度 | 第19-20页 |
| ·覆盖率 | 第20-25页 |
| ·回归测试 | 第25页 |
| 第三节 本章小节 | 第25-26页 |
| 第三章 验证语言VERA | 第26-43页 |
| 第一节 测试平台建立流程 | 第27-30页 |
| ·Vera模板生成 | 第27-29页 |
| ·测试平台的设计和初步编译 | 第29页 |
| ·整体编译和整体仿真 | 第29-30页 |
| 第二节 界面、端口变量和绑定 | 第30-34页 |
| ·界面 | 第30-32页 |
| ·端口变量和绑定 | 第32-34页 |
| 第三节 信号控制 | 第34-36页 |
| ·同步、驱动和采样 | 第35页 |
| ·期望 | 第35-36页 |
| ·异步控制 | 第36页 |
| 第四节 并行控制 | 第36-40页 |
| ·fork／join | 第37页 |
| ·事件 | 第37-38页 |
| ·邮箱和旗语 | 第38-40页 |
| 第五节 对象和VERA的语言结构 | 第40-42页 |
| 第六节 本章小节 | 第42-43页 |
| 第四章 视频后处理芯片中的验证工作 | 第43-58页 |
| 第一节 视频后处理的简介 | 第43-47页 |
| ·视频后处理的意义 | 第43页 |
| ·视频后处理的必要性 | 第43-45页 |
| ·后处理芯片的系统方案 | 第45-46页 |
| ·后处理芯片的技术特点 | 第46-47页 |
| 第二节 视频后处理芯片中的验证工作 | 第47-52页 |
| ·模块级验证 | 第47-50页 |
| ·系统级验证 | 第50-52页 |
| 第三节 验证经验的总结 | 第52-57页 |
| ·正确选择测试生成机制 | 第52-56页 |
| ·使用多层次的代码结构 | 第56-57页 |
| 第四节 本章小节 | 第57-58页 |
| 第五章 形式验证 | 第58-80页 |
| 第一节 形式理论的算法层面 | 第58-66页 |
| ·算法介绍 | 第58-59页 |
| ·串并行部分顺序集 | 第59页 |
| ·对非重复系统行为的建模 | 第59-66页 |
| 第二节 形式验证工具中的FORMALITY | 第66-75页 |
| ·Formality介绍 | 第66-67页 |
| ·基本概念 | 第67-75页 |
| 第三节 形式验证实践 | 第75-79页 |
| ·视频后处理芯片项目中的形式验证流程 | 第75-77页 |
| ·经验总结 | 第77-79页 |
| 第四节 本章小节 | 第79-80页 |
| 第六章 总结 | 第80-81页 |
| 参考文献 | 第81-83页 |
| 致谢 | 第83页 |
