Seminar details

https://barbarate.imag.fr/b/dav-ygp-g07-gi0
11 March 2021 - 14h00
[SharedResources] CompCert for Risc-V on FPGA
by David Monniaux from Verimag
invited by David MONNIAUX


Abstract: Risc-V is a “new” instruction set architecture that is gaining traction in both the academic and industrial worlds. On the academic side, there are many free designs of CPU that implement that architecture; they may be simulated or implemented into FPGAs for fast execution. On the industrial side, many consider Risc-V as an alternative to licensed designs such as ARM’s.

I will explain some basic facts about Risc-V, then what we have done with it:

1. Running a FPGA-based Risc-V Linux system.

2. Improving CompCert for the Risc-V target.


Contact | Site Map | Site powered by SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1717844