All Electronics Article: Onespin Joins The RISC-V Foundation

The RISC-V Foundation has gained another member with OneSpin.

Shortly before joining, the company has also introduced its RISC-V Integrity Verification Solution, thus supporting the dissemination of the RISC-V ISA. OneSpin enables the RISC-V community to develop and assess RISC-V cores based on a formal model of the RISC-V ISA instruction set implemented in the System Verilog (SVA).

The OneSpin solution, embedded in a comprehensive verification framework, verifies compliance with the open RISC-V ISA standard. In addition, according to the company, it could prevent the cores from containing either hardware Trojans or other unwanted functionalities.


To read more, please visit:  Please note that the original article is in German.