U.S.-France Cooperative Research (INRIA): A Semantic Foundation For C++ based IC/System Design

美法合作研究 (INRIA)：基于 C 的 IC/系统设计的语义基础

• 批准号: 0554678
• 负责人: Rajesh Gupta
• 金额: --
• 依托单位: University of California-San Diego
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-05-01 至 2006-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0554678&HistoricalAwards=false
• 关键词: U.S.; France; Cooperative; Research; INRIA

0208783GuptaThis two-year award for U.S.-France cooperative research in embedded and hybrid computer systems involves Rajesh K. Gupta and Sandeep K. Shukla of the University of California, Irvine, Jean-Pierre Talpin and Paul Le Guernic of the French National Institute for Research in Computer Science and Engineering (INRIA) in Rennes (IRISA). The research is aimed at enabling C++ based design paradigms, a software programming language which can be used in object-oriented programming language IC systems and system on a chip (SOC) designs. The research addresses development of C++ usage, which is "semantically clean" and can be used in high-level hardware systems. This requires semantics that matches across compilers, high-level synthesis tools and simulated behavior of C++ design. The approach combines an unambiguous semantic framework named BDL (backbone description language) developed by researchers at IRISA and a split-level programming paradigm developed by the Irvine group. This award represents the U.S. side of a joint proposal to the NSF and INRIA. NSF will cover travel funds and living expenses of the U.S. investigators and graduate students. INRIA will support the French researchers' visits to the United States. The U.S. and French teams represent expertise in software programming languages, hardware description languages, and formal semantics.

0208783古普塔这两年的美国奖-法国合作研究嵌入式和混合计算机系统涉及Rajesh K。Gupta和Sandeep K.加州大学欧文分校的Shukla、雷恩的法国国家计算机科学与工程研究所（INRIA）的Jean-Pierre Talpin和Paul Le Guernic。 该研究的目的是使基于C++的设计范式，软件编程语言，可用于面向对象的编程语言IC系统和系统芯片（SOC）的设计。 该研究解决了C++使用的发展，这是“语义干净”，可用于高级硬件系统。这就要求语义在编译器、高级合成工具和C++设计的模拟行为之间匹配。 该方法结合了一个明确的语义框架，名为BDL（骨干描述语言）的研究人员在IRISA和分裂级编程范式开发的欧文组。该奖项代表了美国方面向NSF和INRIA提出的联合提案。 NSF将承担美国研究人员和研究生的旅费和生活费。 INRIA将支持法国研究人员访问美国。美国和法国团队代表了软件编程语言、硬件描述语言和形式语义学方面的专业知识。