首页--工业技术论文--无线电电子学、电信技术论文--微电子学、集成电路(IC)论文--一般性问题论文--设计论文

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

论文共58页,点击 下载论文
上一篇:基于事件的Verilog结构化操作语义
下一篇:第三部门提供公共服务的模式选择