高级BDD最优化

点赞:2584 浏览:8776 近期更新时间:2024-03-04 作者:网友分享原创网站原创

Rüdiger Ebendt, Gorschwin Fey,

Rolf Drechsler, University of Bremen,

Germany

Advanced BDD Optimization

2005, 222pp.

Hardcover $ 130.66

ISBN 0-387-25453-6

近20年来,超大规模集成(VLSI)电路和系统的计算机辅助设计(CAD)的方法和工具有了很大发展,这是科学与工业合作的重要成果,它得益于简化有序二元设计图解(BDD)的应用及Boole可满足性(SAT)的概念,并且反过来推动了后者的发展.本书较全面系统地论述了BDD最优化,给出有关概念、基本理论和方法,包括现行的各种算法、应用实例、发展趋势,讨论了它与VLSI CAD的其他一些活跃领域的关系.本书在理论与实用之间架设了桥梁,弥合了两者间的空隙.

高级BDD最优化参考属性评定
有关论文范文主题研究: 关于应用数学的论文范例 大学生适用: 函授毕业论文、自考论文
相关参考文献下载数量: 79 写作解决问题: 写作参考
毕业论文开题报告: 标准论文格式、论文题目 职称论文适用: 技师论文、初级职称
所属大学生专业类别: 写作参考 论文题目推荐度: 最新题目

全书由7章组成,除首末两章(引言和结束语),正文的第2章给出全书的预备知识(Boole函数和BDD的基本概念),第3章和第4章分别论述精确结点极小化和试探结点极小化,给出经典的和新近投入使用的算法.第5章研究道路极小化,给出一类与前两章不同的BDD最优化判据.第6章讨论BDD与SAT间的关系,作为一个典型例子,研究了形式等价性检验.


本书可供有关工程技术人员阅读,也可供应用数学科研人员参考.

朱尧辰,研究员

(中国科学院应用数学研究所)

Zhu Yaochen, Professor

(Institute of Applied Mathematics,the Chinese Academy of Sciences)