Skip to main content
In the News

Elektronik Article: RISC V Processor Cores Or Compliance

By May 28, 2019May 12th, 2021No Comments

GmbH is the first app developed in the OneSpin tool suite for RISC-V Integrity Verification. The app provides the growing RISC-V community with a way to verify processor cores to ensure that no errors go unnoticed in the design and integration of RISC-V cores, and that they are fully compliant with the instruction set architecture. (ISA) is given. Providers of RISC V cores can better compete with older, established instruction set architectures through verification.
It only takes a week to set up the app, and verification of a complete RISC-V core takes two hours. By comparison, other verification concepts can take months to set up a simulation, followed by weeks of regression testing that still allows critical errors to go undetected. Formal methods use only partial proofs, so they can not detect all hidden functions and thus result in an incomplete verification.
To read more, please visit: Please note that the original article is in German.

Stay Connected With RISC-V

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