基于BDD和SAT的形式验证方法的研究

摘要	第1-6页
Abstract	第6-10页
第1章 绪论	第10-26页
·EDA技术	第10-13页
·EDA技术的发展	第10-12页
·EDA技术的特点	第12-13页
·课题研究的意义	第13-14页
·模拟验证	第14-17页
·形式验证方法综述	第17-24页
·模型检验	第18-20页
·定理证明	第20页
·等价性检验	第20-24页
·形式验证在工业界的应用状况	第24-25页
·本文的主要研究内容	第25-26页
第2章 BDD及其在形式验证中的应用	第26-42页
·引言	第26-28页
·BDD的基础知识及原理	第28-38页
·BDD的基本知识	第28-35页
·BDD的变量编序	第35-38页
·基于BDD的组合电路的形式验证	第38-41页
·本章小结	第41-42页
第3章 SAT的基础理论及发展	第42-54页
·引言	第42-43页
·可满足性问题的有关定义和性质	第43-53页
·SAT基础知识	第43-45页
·DPLL算法	第45-46页
·加速搜索过程的启发式策略	第46-53页
·本章小结	第53-54页
第4章 基于SAT及其新方法的形式验证	第54-65页
·引言	第54页
·SAT在形式验证中的应用及发展	第54-57页
·结合BDD与SAT的形式验证	第57-59页
·解决SAT问题的新方法	第59-62页
·DC算法	第60-61页
·DS算法	第61-62页
·实验结果分析	第62-64页
·本章小结	第64-65页
结论	第65-67页
参考文献	第67-71页
攻读硕士期间发表的论文和取得的科研成果	第71-72页
致谢	第72页