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 on 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.
OneSpin Solutions has emerged as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin enables users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.