无引用计数域BDD包的实现及其优化
| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 第一章 引言 | 第8-16页 |
| ·OBDD的概述 | 第8-10页 |
| ·选题的背景和研究意义 | 第10-13页 |
| ·时序逻辑概述 | 第10-11页 |
| ·OBDD在模型检验方面的应用 | 第11-12页 |
| ·OBDD的优点 | 第12-13页 |
| ·BDD优化工作的发展和难点 | 第13-14页 |
| ·本文的主要内容和结构 | 第14-16页 |
| 第二章 BDD优化方法小结 | 第16-25页 |
| ·精确排序算法 | 第16页 |
| ·动态启发式排序算法 | 第16-18页 |
| ·窗口排序算法 | 第17页 |
| ·筛选算法 | 第17-18页 |
| ·组筛选算法 | 第18页 |
| ·遗传算法 | 第18-25页 |
| ·遗传算法的原理和发展 | 第18-20页 |
| ·遗传算法的特点 | 第20-22页 |
| ·遗传算法的框图 | 第22页 |
| ·基本遗传算法的组成 | 第22-24页 |
| ·遗传算法在BDD最优化问题的应用 | 第24-25页 |
| 第三章 无引用计数域的BDD包的详述 | 第25-38页 |
| ·BDD结点的结构 | 第25-26页 |
| ·各类BDD操作涉及的数据结构 | 第26-30页 |
| ·垃圾回收 | 第30-32页 |
| ·BDD包的使用 | 第32-33页 |
| ·实验结果和结论 | 第33-34页 |
| ·对BDD包中核心算法的总结 | 第34-38页 |
| 第四章 对BDD包核心运算的实现 | 第38-52页 |
| ·对BDD包核心运算实现非递归算法 | 第38-41页 |
| ·算法思想和主要流程 | 第38-39页 |
| ·算法源代码及注释 | 第39-41页 |
| ·Restrict算法的实现 | 第41-43页 |
| ·算法思想 | 第41-42页 |
| ·流程逻辑 | 第42页 |
| ·算法源代码 | 第42-43页 |
| ·可满足算法的实现 | 第43-45页 |
| ·可满足算法的实现目的 | 第43-44页 |
| ·可满足算法的主要思想 | 第44页 |
| ·可满足算法的流程逻辑 | 第44-45页 |
| ·量化操作算法的实现 | 第45-47页 |
| ·量化操作算法的功能 | 第45页 |
| ·量化操作算法的算法思想 | 第45页 |
| ·量化操作算法的逻辑流程 | 第45-47页 |
| ·复合算法的实现 | 第47页 |
| ·复合算法的功能 | 第47页 |
| ·复合算法的主要思想 | 第47页 |
| ·复合算法的流程逻辑 | 第47页 |
| ·变量代换算法的实现 | 第47-49页 |
| ·变量代换算法的功能 | 第47-48页 |
| ·变量代换算法的主要思想 | 第48-49页 |
| ·变量代换算法的流程逻辑 | 第49页 |
| ·代换乘积算法的实现 | 第49-52页 |
| ·代换乘积算法的功能 | 第49页 |
| ·代换乘积算法的主要思想 | 第49-51页 |
| ·代换乘积算法的逻辑流程 | 第51-52页 |
| 第五章 变量排序的优化设想 | 第52-54页 |
| ·基于遗传算法的BDD最小化算法 | 第52页 |
| ·优化策略的设想和框架实现 | 第52-54页 |
| 第六章 总结和展望 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 致谢 | 第58页 |
