#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.
Copyright © 2023 RISC-V International®. All rights reserved. RISC-V, RISC-V International, and the RISC-V logos are trademarks of RISC-V International. For trademark usage guidelines, please see our Brand Guidelines and Privacy Policy