高级BDD最优化

• 作者: G．费 R．埃本德 R．德列赫斯特 朱尧辰
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 最优化 BDD 计算机辅助设计 超大规模集成 可满足性 发展趋势 系统 应用
• 年，卷（期）: 2006,（8）
• 页码范围: 4
• 页数: 1页
• 分类号: TP202.1

摘要

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