Scale4Edge Success Story: Multi-Compiler Support

Kurzfassung

The Scale4Edge project aims to create an efficient RISC-V ecosystem for edge application optimization. It focuses on developing a versatile platform to provide cost-effective, application-specific edge devices and services for various market segments. This is achieved through fine-grained adaptation of generic components, covering CPU instructions, user/application software, and operating system/firmware levels. The ecosystem is highly scalable and customizable to individual applications, supporting various hardware architectures and non-functional properties like energy efficiency, fault tolerance, reliability, safety, and security. The Scale4Edge ecosystem currently contains three different compilers, addressing different use-cases of the ecosystem: 1) CompCert is a formally verified compiler for safety relevant application of high assurance levels 2) X-LLVM is an extendible compiler for custom instructions based on Clang/LLVM 3) A custom configurable GCC compiler