| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-12页 |
| ·研究的背景与意义 | 第9-10页 |
| ·研究现状 | 第10-11页 |
| ·论文结构 | 第11-12页 |
| 第2章 ATPG 的应用以及主要算法介绍 | 第12-23页 |
| ·ATPG 简介 | 第12页 |
| ·ATPG 的应用及过程 | 第12-13页 |
| ·ATPG 技术的应用 | 第12-13页 |
| ·ATPG 的主要过程 | 第13页 |
| ·ATPG 主要求解算法 | 第13-22页 |
| ·D 算法主要过程介绍 | 第13-18页 |
| ·PODEM 算法介绍 | 第18-20页 |
| ·FAN 算法介绍 | 第20-22页 |
| ·本章小结 | 第22-23页 |
| 第3章 等价性验证中的误判现象研究 | 第23-33页 |
| ·基于割集的验证方法 | 第23-26页 |
| ·方法简介 | 第23-24页 |
| ·割集的验证过程 | 第24-26页 |
| ·误判的定义及产生 | 第26-27页 |
| ·误判的定义 | 第26页 |
| ·误判现象的出现 | 第26-27页 |
| ·误判的消除方法 | 第27-32页 |
| ·相关方法研究 | 第28页 |
| ·BDD 方法简介 | 第28-30页 |
| ·SAT 算法简介 | 第30-32页 |
| ·本章小结 | 第32-33页 |
| 第4章 利用权值的方法改善 ATPG 的相关算法来消除误判 | 第33-46页 |
| ·算法思想 | 第33-40页 |
| ·权值的方法 | 第33-36页 |
| ·利用权值的方法对回溯路径进行选择 | 第36-37页 |
| ·利用权值的方法对割点还原策略进行选择 | 第37-40页 |
| ·算法流程 | 第40-43页 |
| ·算法过程描述 | 第40页 |
| ·利用权值改善的 PODEM 算法和 D 算法过程比较 | 第40-41页 |
| ·整个算法流程 | 第41-43页 |
| ·实验结果分析 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第5章 总结和展望 | 第46-48页 |
| ·总结 | 第46-47页 |
| ·工作展望 | 第47-48页 |
| 参考文献 | 第48-51页 |
| 作者简介 | 第51-52页 |
| 致谢 | 第52页 |