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

美德合作研究：计算机辅助设计的高效数据结构

• 批准号: 9815662
• 负责人: Gary Hachtel
• 金额: $ 0.97万
• 依托单位: University of Colorado at Boulder
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-04-01 至 2003-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9815662&HistoricalAwards=false
• 关键词: U.S.; Germany; Cooperative; Research; Efficient

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.

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