Skip to main content
Ecosystem News

Video: Verification and Virtual Prototyping for RISC-V Systems

#RISC-V is an innovative, open-source and increasingly widespread computer architecture that provides an independent and cost-effective alternative to major #chip manufacturers. Using formal #verification tools and an industry-standard verification platform based on SystemC, #scientists from the DFKI research department Cyber-Physical Systems are working on the correctness of RISC-V-based systems in order to be able to write and test #software for the processors of the future even before they are manufactured. The “VerSys” project is funded by the German Federal Ministry of Education and Research (BMBF).