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

这项为期两年的嵌入式和混合计算机系统的美法合作研究项目包括加州大学欧文分校的Rajesh K. Gupta和Sandeep K. Shukla，位于雷恩的法国国家计算机科学与工程研究所（INRIA）的Jean-Pierre Talpin和Paul Le Guernic。该研究旨在实现基于c++的设计范式，这是一种可用于面向对象编程语言集成电路系统和片上系统（SOC）设计的软件编程语言。该研究涉及c++用法的开发，它“语义清晰”，可用于高级硬件系统。这需要在编译器、高级合成工具和c++设计的模拟行为之间匹配语义。该方法结合了IRISA研究人员开发的名为BDL（主干描述语言）的明确语义框架和Irvine小组开发的分层编程范式。该奖项代表了美国方面向NSF和INRIA提交的联合提案。NSF将承担美国研究人员和研究生的旅费和生活费。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.