Skip to main content
In the News

Video: Verification and Virtual Prototyping for RISC-V Systems

By April 1, 2021April 12th, 2021No Comments

#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).

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.