Article: OneSpin Launches First Formal RISC-V Integrity Verification Solution

2019-02-21

 

Completeness of ISA Specification Ensures Absence of Functional Errors, Hardware Trojans, Security Vulnerabilities

 

MUNICH, Germany and SAN JOSE, Calif — Feb. 21, 2019 – OneSpin Solutions, provider of innovative verification solutions for highly reliable, digital integrated circuits (ICs), today unleashed its RISC-V Integrity Verification Solution for development and assessment of RISC-V cores, leveraging its advanced formal verification expertise for automotive and other high-integrity processor applications.