OneSpin® Solutions today joined the RISC-V Foundation, a non-profit corporation controlled by its members to drive a new era of processor innovation via the adoption and implementation of the free and open RISC-V instruction set architecture (ISA).

This follows an earlier announcement that OneSpin, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, released its RISC-V Integrity Verification Solution. The solution enables the RISC-V community's development and assessment of RISC-V cores, based on the ISA formalized in a set of SystemVerilog Assertions (SVA).

Delivered as a series of formal applications (Apps) and integrated into an exhaustive verification framework, the Solution verifies compliance for the open standard RISC-V ISA is met, critical for both IP core suppliers and their customers. It also verifies that cores do not contain hardware Trojans or other unintended functionality to ensure trust and security.

"We have been impressed by how quickly RISC-V has been deployed in the industry and are delighted to join the Foundation making this happen," notes Dr. Raik Brinkmann, OneSpin Solutions' president and chief executive officer (CEO). "We can offer the community accelerated adoption through verification of RISC-V cores by both suppliers and integrators."

"We welcome OneSpin into the RISC-V Foundation and our global ecosystem," says Calista Redmond, CEO of the RISC-V Foundation. "The company's RISC-V Integrity Verification Solution offers our community a tool for designers trying to meet the standard as we collaborate on the RISC-V Compliance suite. We look forward to continued verification developments by OneSpin and the extended RISC-V community."

About OneSpin Solutions
OneSpin Solutions is a leading provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits. These solutions are based on OneSpin's widely used formal verification technology and assure the integrity of SoCs, ASICs and FPGAs. Headquartered in Munich, Germany, OneSpin partners with leaders worldwide in automotive and industrial applications; defense; avionics; artificial intelligence and machine learning; consumer electronics; and communications. Its advanced solutions are well-suited for developing heterogeneous computing platforms, using programmable logic, and designing and integrating processor cores, such as RISC-V. OneSpin's customer-oriented commitment is fundamental to its growth and success. OneSpin: Assuring IC Integrity. Visit www.OneSpin.com to learn more.

Connect with OneSpin at:
Twitter: @OneSpinSolution
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions