Project

ECXL

An Extensible and Consistent Cross-Level RISC-V Verification Platform

An Extensible and Consistent Cross-Level RISC-V Verification Platform

  • Duration:

The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on the abstract electronic system level as well as on the concrete register transfer level in a consistent way. This cross-level modeling combines the advantages of both levels: while the electronic system level allows early software development and design space exploration with virtual prototypes, the lower register transfer level models can be efficiently synthesized. In addition, the design platform is intended to support the extension of the RISC-V ISA with application-specific instructions at both modeling levels. The consistency between the two levels is demonstrated by the consistency of both with the RISC-V-ISA. The ECXL verification platform will be validated with two case studies from the field of self-verification and edge AI.

Sponsors

BMBF - Federal Ministry of Education and Research

01IW22002

BMBF - Federal Ministry of Education and Research

Share project:

Contact Person

Keyfacts

Publications about the project

Niklas Bruns; Vladimir Herdt; Rolf Drechsler

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

To the publication

Sören Tempel; Tobias Brandt; Christoph Lüth

In: 24th International Symposium on Trends in Functional Programming (TFP). International Symposium on Trends in Functional Programming (TFP-2023), January 12-15, Boston, MA, USA, 2023.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz