U.S.-Germany Cooperative Research: Decision Diagrams-New Implementation Methods and Applications

美德合作研究：决策图——新的实现方法和应用

• 批准号: 9603384
• 负责人: Randal Bryant
• 金额: $ 1.33万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-05-15 至 1999-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9603384&HistoricalAwards=false
• 关键词: U.S.; Germany; Cooperative; Research; Decision

The research seeks to extend the effective use of binary decision diagrams (BDDs), which have already proved an effective method for symbolically representing and manipulating Boolean functions. A number of researchers worldwide have found novel applications of BDDs to such areas as synthesis, formal verification, and testing of digital circuits. Extensions to allow more compact forms and to represent the behavior of arithmetic circuits have improved the performance and extended the range BDDs, leading to a broader class of those diagrams. The U.S. and German group collaborating in this effort have had a synergistic relationship, with each group building on the work of the other. This new effort will enable a more formal collaboration between the two groups.

本研究旨在扩展二叉决策图(BDDS)的有效应用，它已经被证明是一种用符号表示和操作布尔函数的有效方法。世界各地的许多研究人员已经发现了BDDS在数字电路的综合、形式验证和测试等领域的新应用。允许更紧凑的形式和表示算术电路的行为的扩展提高了性能并扩展了BDDS的范围，从而导致了更广泛的此类图的类别。在这一努力中合作的美国和德国小组一直有一种协同关系，每个小组都建立在对方工作的基础上。这一新的努力将使两个小组之间能够进行更正式的合作。