Skip to main content Skip to main navigation

Projects

Displaying results 1 to 3 of 3.
  1. ECXL – An Extensible and Consistent Cross-Level RISC-V Verification Platform

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

    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 …

  2. VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

    VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

    The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …

  3. VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …