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++的设计范例，这是一种可用于面向对象编程语言IC系统和片上系统(SOC)设计的软件编程语言。这项研究致力于C++用法的发展，它是“语义干净的”，可以用于高级硬件系统。这需要跨编译器、高级综合工具和模拟的C++设计行为匹配的语义。该方法结合了IRSA研究人员开发的名为BDL(Backbone Description Language)的明确语义框架和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.