OneSpin Exhibits First Formal RISC-V Integrity Verification Solution at Embedded World

February 25, 2019 Katelyn Albani

MUNICH, DE and SAN JOSE, CA. OneSpin will highlight the RISC-V Integrity Verification Solution during embedded world in Nuremberg, Germany from February 26-28 and can be found in Hall 4, Booth 560.

OneSpin Solutions just released 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.

The RISC-V Integrity Verification Solution includes:

  • core implementations
  • benefits
  • submission with the ISA specification
  • privileged ISA
  • Control and Status Registers
  • exception mechanism and other extensions

“Even though past efforts have failed to achieve 100% proof, verification of an instruction set architecture’s conformance is a natural fit for formal technology,” remarks OneSpin’s product manager for design verification, Sven Beyer. “Our RISC-V integrity Verification Solution converges for all properties on real-world implementations, a valuable resource to the many users trying to meet this processor standard.”

For more information, please visit

Previous Article
VersaLogic shrinks server-class computers for embedded applications
VersaLogic shrinks server-class computers for embedded applications

VersaLogic Corp., the embedded industry's most trusted computer company, has announced a new server-class p...

Next Article
Critical Link Exhibits Embedded SOMs & Development Kits at Embedded World

Critical Link will showcase its latest board-level solutions at embedded world.