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: https://www.all-electronics.de/onespin-tritt-der-risc-v-foundation-bei/. Please note that the original article is in German.