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

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

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.