U.S.-Germany Cooperative Research: Effective Data Structures for Computer-Aided Design

该奖项支持加里·哈赫特尔博士、国际和平研究所的法比奥·索梅齐博士以及科罗拉多大学博尔德分校的一名研究生与特里尔大学信息技术系的克里斯托弗·梅内尔合作。这两个小组都致力于布尔函数的有效表示和操作，主要是通过开发有序二叉决策图(OBDDS)。这家德国集团主要关注OBDDS的理论基础，以及OBDDS与复杂性理论之间的联系。该美国小组一直专注于开发高效的BDD操作技术，并将其应用于合成和正式验证。这些小组的综合和互补的专门知识有望在有效实施超大规模集成(VLSI)系统方面取得进展。这项研究对当前计算机辅助教学的学术和商业利益也具有重要意义。

This award supports Dr. Gary Hachtel, the co-PI, Dr. Fabio Somenzi, and a graduate student from the University of Colorado-Boulder in a collaboration with Christopher Meinel of the Department of Information Technology at the University of Trier. Both groups are working on the efficient representation and manipulation of Boolean functions, primarily through the development of Ordered Binary Decision Diagrams (OBDDs). The German group has focused primarily on the theoretical foundations of OBDDs and the connections between OBDDs and complexity theory. The U.S. group has focused on the development of efficient BDD manipulation techniques and their application to synthesis and formal verification. The combined and complementary expertise of the groups promises progress in the efficient implementation of Very Large-Scale Integrated (VLSI) systems. The research is also of importance to current academic and commercial interests in computer-aided instruction.