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

该研究旨在扩展二进制决策图（bdd）的有效使用，二进制决策图已经被证明是符号表示和操作布尔函数的有效方法。世界各地的许多研究人员已经发现了bdd在数字电路的合成、形式验证和测试等领域的新应用。允许更紧凑的形式和表示算术电路行为的扩展改进了性能并扩展了bdd的范围，从而产生了更广泛的这些图类。在这项工作中合作的美国和德国小组具有协同关系，每个小组都以对方的工作为基础。这一新的努力将使两组之间的合作更加正式。

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.