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

9815662 Hachtel该奖项支持加里哈赫特尔博士和科罗拉多大学博尔德分校的一名研究生与德国特里尔大学信息科学系的Christopher Meinel合作。 由该奖项资助的研究将集中在非常复杂的开关功能的超大规模集成电路（VLSI）的建设，并对所构建的系统的验证。 美国和德国研究小组之间的合作将联合收割机结合当前复杂性理论和二元决策图的最佳研究成果，并将导致新的和更强大的方法应用于微电子、计算机和软件工程中的设计问题。 该奖项也有很强的劳动力增强方面，因为国际研究将广泛涉及国际合作的研究生。

9815662HachtelThis award supports Dr. Gary Hachtel and a graduate student from the University of Colorado-Boulder in a collaboration with Christopher Meinel of the Department of Information Sciences at the University of Trier, Germany. The research funded by this award will focus on the construction of very large-scale integrated (VLSI) circuits from very complex switching functions, and on verification of the systems constructed. The collaboration between the U.S. and German groups will combine the best of current research in complexity theory and binary decision diagrams and will lead to the application of new and more powerful methods to design problems in micro-electronics, computers, and software engineering. There is also a strong workforce-enhancement aspect to the award because the international research will extensively involve graduate students in the international collaboration.