| 第1章 绪论 | 第1-16页 |
| ·超大规模集成电路设计概览 | 第10-11页 |
| ·形式验证技术 | 第11-14页 |
| ·验证和确认 | 第14-15页 |
| ·本文的结构安排 | 第15-16页 |
| 第2章 等价性检验 | 第16-27页 |
| ·等价性检验简介 | 第16-20页 |
| ·等价性检验的应用 | 第16-18页 |
| ·电路的划分 | 第18-19页 |
| ·等价性检验的步骤 | 第19-20页 |
| ·基于BDD的组合电路等价性检验 | 第20-24页 |
| ·基于SAT的组合电路等价性检验 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 基于OFSM的等价性检验 | 第27-35页 |
| ·有序自动机 | 第27-30页 |
| ·算法实现 | 第30-33页 |
| ·算法分析和试验结果 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第4章 基于模型检验的形式验证 | 第35-54页 |
| ·分支时态逻辑 | 第36-38页 |
| ·模型检验 | 第38-42页 |
| ·符号模型检验 | 第42-46页 |
| ·基于SAT的符号模型检验 | 第46-49页 |
| ·SMV(symbolic model verification)系统及其应用 | 第49-53页 |
| ·一个三路仲裁器的验证 | 第49-50页 |
| ·交通灯控制器的验证 | 第50-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 基于定理证明的验证方法 | 第54-59页 |
| ·简介 | 第54-55页 |
| ·应用 | 第55-58页 |
| ·本章小结 | 第58-59页 |
| 结论 | 第59-61页 |
| 参考文献 | 第61-64页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第64-65页 |
| 致谢 | 第65页 |