US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information

美法/德国合作研究：使用字级信息进行电路和系统验证

• 批准号: 0233206
• 负责人: Maciej Ciesielski
• 金额: $ 2.21万
• 依托单位: University of Massachusetts Amherst
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-02-15 至 2006-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0233206&HistoricalAwards=false
• 关键词: US; France; Germany; Cooperative; Research

0233206CiesielskiThis three-year award for US-France-Germany cooperative research involves researchers and students at the University of Massachusetts, University of Montpellier II, University of Bretagne in France, and the University of Bremen in Germany. Maciej Ciesielski in the US, Bruno Rouzeyre and Emmanuel Boutillon in France, and Rolf Drechsler in Germany plan an international project to develop new software computer tools. The objective is to develop fundamental techniques in design verification and architectural synthesis based on modern data structures, such as decision diagrams. They will explore the application of Taylor Expansion Diagrams (TED) to verification designs at the behavioral and register transfer levels (RTL). They will also investigate the application of TEDs to architectural synthesis from algorithmic descriptions. The project takes advantage of complementary expertise in architectural and high level synthesis, test, and binary/word-level decision diagrams. This award represents the US side of parallel proposals to the NSF, the CNRS, and the DAAD. NSF will cover travel funds and living expenses for the US investigator and graduate students. CNRS and DAAD will support visits by French and German researchers and graduate students to the United States.

0233206Ciesielski 这项为期三年的美国-法国-德国合作研究奖涉及马萨诸塞大学、蒙彼利埃第二大学、法国布列塔尼大学和德国不来梅大学的研究人员和学生。 美国的 Maciej Ciesielski、法国的 Bruno Rouzeyre 和 Emmanuel Bouutillon 以及德国的 Rolf Drechsler 计划开展一个开发新软件计算机工具的国际项目。 目标是开发基于现代数据结构（例如决策图）的设计验证和架构综合的基本技术。 他们将探索泰勒展开图 (TED) 在行为和寄存器传输级别 (RTL) 验证设计中的应用。 他们还将研究 TED 在算法描述的建筑综合中的应用。 该项目利用了架构和高级综合、测试和二进制/字级决策图方面的互补专业知识。该奖项代表了美国方面向 NSF、CNRS 和 DAAD 提出的并行提案。 NSF 将为美国调查员和研究生提供旅费和生活费。 CNRS 和 DAAD 将支持法国和德国的研究人员和研究生访问美国。