TMCnet News
MEDIA ALERT: OneSpin Solutions to Feature RISC-V Integrity Verification Solution at GOMACTechMUNICH, Germany and SAN JOSE, Calif., March 19, 2019 (GLOBE NEWSWIRE) -- WHO: OneSpin® Solutions, provider of innovative verification solutions for highly reliable, digital integrated circuits (ICs). WHAT: Will feature its RISC-V Integrity Verification Solution for development and assurance of RISC-V cores in Booth #610 during the Government Microcircuit Applications & Critical Technology Conference (GOMACTech). WHEN: Tuesday and Wednesday, March 26-27. OneSpin and Edaptive Computing will present “Complete Formal Verification of RISC-V Processor IPs for Trojan-Free Trusted ICs” during Session 41.1, Verification and Validation, on Thursday, March 28 from 3:30 to 5:10 P.M. WHERE: Albuquerque Convention Center, Albuquerque, N.M. OneSpin’s RISC-V Integrity Verification Solution, based n the RISC-V instruction set architecture (ISA) formalized in a set of SystemVerilog Assertions (SVA), is delivered as a series of formal applications (apps) and integrated into an exhaustive verification framework. The Solution verifies that compliance for the open standard RISC-V ISA is met, critical for both IP core suppliers and their customers. In the GOMACTech presentation, OneSpin’s Solutions Architect David Landoll will cover the Solution’s ability to ensure trust and security by verifying that cores do not contain hardware Trojans or other unintended functionality. About OneSpin Engage with OneSpin at: OneSpin, OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners. For more information, contact:
|