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.

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). 该研究旨在启用基于C ++的设计范例，该范式是一种软件编程语言，可用于面向对象的编程语言IC系统和芯片设计（SOC）设计。 该研究涉及C ++用法的开发，该使用“语义清洁”，可用于高级硬件系统。这需要与编译器，高级合成工具以及C ++设计的模拟行为相匹配的语义。 该方法结合了一个名为BDL（骨干描述语言）的明确的语义框架，由IRISA的研究人员开发，以及由Irvine Group开发的分层编程范式。该奖项代表了NSF和Inria的联合提案的美国。 NSF将支付美国调查人员和研究生的旅行资金和生活费用。 因里亚人将支持法国研究人员对美国的访问。美国和法国团队代表软件编程语言，硬件说明语言和正式语义方面的专业知识。