U.S.-Germany Cooperative Research on Efficient Data Structures for Computer-Aided Design

该奖项支持科罗拉多大学的加里哈赫特尔和法比奥·索门齐教授以及一名研究生与德国特里尔大学计算机科学和复杂性理论与超大规模集成电路设计系的Christoph Meinel教授和其他人合作进行计算机科学研究。 他们从事计算机辅助电路设计领域的工作，重点是使用"二元决策图"数据结构对数字系统进行综合和验证。 他们将一起探索这些高效数据结构的新类别及其在特定应用程序中的行为。 特里尔的有序二元决策图（OBDDs）小组以前的工作主要集中在理论基础和与复杂性理论的联系上。 美国集团一直受到电气工程真实的问题的激励，如时序电路验证，优化和测试。 合作计划将转移和联合收割机这两个小组的互补知识和经验。 由此产生的协同效应应导致贡献的理论和实践方面的电路设计。

This award supports Professors Gary Hachtel and Fabio Somenzi, and a graduate student, all from the University of Colorado, to collaborate in computer science research with Professor Christoph Meinel and others of the Department of Computer Science and Complexity Theory and VLSI-Design of the University of Trier, Germany. They are working in the area of computer-aided circuit design, focusing on the synthesis and verification of digital systems using `binary decision diagram` data structures. Together they will explore new classes of these efficient data structures and their behaviors in specific applications. Previous work by the group at Trier on Ordered Binary Decision Diagrams (OBDDs) has focused primarily on the theoretical foundations and the connection with complexity theory. The US group has been motivated by real problems of electrical engineering such as sequential circuit verification, optimization and testing. The plan for collaboration will transfer and combine the complementary knowledge and experience of the two groups. The resulting synergism should result in contributions to both theoretical and practical aspects of circuit design.