| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 1 绪论 | 第6-12页 |
| ·国际集成电路发展趋势及挑战 | 第6-8页 |
| ·计算机及计算机辅助(CAD)技术发展 | 第8-9页 |
| ·可满足性问题的应用背景及研究内容 | 第9-10页 |
| ·本文在CSP问题方面的研究及尝试 | 第10-11页 |
| ·本文的组织结构 | 第11-12页 |
| 2 可满足性问题详述 | 第12-51页 |
| ·不同领域可满足性问题 | 第12-17页 |
| ·集成电路设计中可满足问题的应用 | 第12-16页 |
| ·生产计划中可满足性问题的应用 | 第16-17页 |
| ·约束性可满足问题的定义和基本思路 | 第17-24页 |
| ·约束性可满足问题的定义 | 第17-18页 |
| ·问题简化 | 第18页 |
| ·解决搜索策略 | 第18-23页 |
| ·解决综合 | 第23-24页 |
| ·约束性可满足问题的特性分析 | 第24-25页 |
| ·约束性可满足问题解决方案的个数 | 第24页 |
| ·问题的大小 | 第24页 |
| ·约束性条件种类 | 第24-25页 |
| ·约束性可满足问题的耦合度 | 第25页 |
| ·约束性可满足问题的解决算法及其应用说明 | 第25-51页 |
| ·回溯法(BackTracking) | 第25-37页 |
| ·向前查看法 | 第37-43页 |
| ·约束性条件传递(Constraint Propagation)法 | 第43页 |
| ·分解树算法(Tree-Clustering) | 第43-49页 |
| ·小结 | 第49-51页 |
| 3 基于并行算法的约束解决器 | 第51-77页 |
| ·本文研究方向策略的原因及背景 | 第51页 |
| ·并行处理计算的背景及应用 | 第51-52页 |
| ·本文可满足性问题的范围说明 | 第52-59页 |
| ·解决器适用范围 | 第52-53页 |
| ·实现选型PYTHON语言概述 | 第53页 |
| ·PYTHON的并行处理模型 | 第53-59页 |
| ·基于分解树算法(Tree-Clustering)并行约束性可满足问题解决器架构及处理流程 | 第59-65页 |
| ·可满足性问题的定义实现 | 第60-63页 |
| ·分解树算法的实现 | 第63-65页 |
| ·并行计算解决器性能提升分析 | 第65-67页 |
| ·实例之电路验证中约束条件求解 | 第67-77页 |
| ·基于SystemVerilog的约束性条件解决 | 第67-71页 |
| ·无缝集成与硬件开发环境 | 第71-77页 |
| 4 结论与展望 | 第77-78页 |
| ·结论 | 第77页 |
| ·未来展望 | 第77-78页 |
| 5 参考文献 | 第78-80页 |
| 6 致谢 | 第80-81页 |