1995 Daghstuhl Workshop on Binary Decision Diagrams, Germany

1995 Daghstuhl 二元决策图研讨会，德国

• 批准号: 9503339
• 负责人: Randal Bryant
• 金额: $ 1.5万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-03-01 至 1995-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9503339&HistoricalAwards=false
• 关键词: 1995; Daghstuhl; Workshop; Binary; Decision

Binary Decision Diagrams (BDD's) have found widespread use in synthesis, formal verification and testing of digital circuits. This success in the EDA research area has spawned research efforts on a number of fronts, including theoretical studies of algorithms and complexity, applications to such areas as artificial intelligence and logic programming, and extensions beyond Boolean functions to represent matrices, Markov systems, and multi-variate polynomials. This workshop (February 13-17, 1995) is the first ever held specifically on this important technology.

二元决策图 (BDD) 已广泛应用于数字电路的综合、形式验证和测试。 EDA 研究领域的这一成功催生了许多前沿的研究工作，包括算法和复杂性的理论研究、人工智能和逻辑编程等领域的应用，以及布尔函数之外的表示矩阵、马尔可夫系统和多元多项式的扩展。 这次研讨会（1995 年 2 月 13 日至 17 日）是有史以来第一次专门针对这一重要技术举办的研讨会。