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

9815662哈赫特尔该奖项支持加里·哈赫特尔博士和科罗拉多-博尔德大学的一名研究生与德国特里尔大学信息科学系的克里斯托弗·梅内尔合作。该奖项资助的研究将专注于从非常复杂的开关功能构建超大规模集成电路(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.