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.

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