Elektronik Praxis Article: RISC-V Foundation Continues To Grow: OneSpin Introduces Key Integrity Checking Tool

The RISC-V-Foundation continues to grow: the latest member is the Munich-based company OneSpin Solutions. OneSpin is a provider of certified IC Integrity Verification solutions and has introduced its “RISC-V Integrity Verification Solution” before joining. This solution enables the RISC-V community to develop and test RISC-V cores based on a formal model of the RISC-V-ISA implemented in SystemVerilog (SVA).
The solution, which is provided as a series of formal applications and integrated into a comprehensive verification framework, verifies compliance with the open RISC-VISA standard. This is important for both IP core providers and their customers. “In the interests of trustworthiness and security, our solution also verifies that the cores do not contain hardware Trojans or other unwanted functionality,” says Dr. Jr.. Raik Brinkmann, President and Chief Executive Officer (CEO) of OneSpin Solutions.
 
To read more, please visit: https://www.elektronikpraxis.vogel.de/risc-v-foundation-waechst-weiter-onespin-bringt-wichtiges-integritaetspruef-tool-ein-a-827392/.