无引用计数域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页 |