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