OneSpin? Solutions

4820 Harwood Road
#250
San Jose, CA 95124
[email protected]
+1 408 734 1900
https://www.onespin.com/
OneSpin? Solutions
Articles related to OneSpin? Solutions
Processing

OneSpin's Newest App Assures Quality of RISC-V Processor Cores for Safety-, Security-Critical Applications - Product

July 29, 2019

RISC-V Verification App Provides RISC-V Community with Only Solution to Exhaustively Verify IP Implementations, Ensure 100% Compliance.

AI & Machine Learning

OneSpin Meets Increased Demand for Formal Equivalence Checking Solution with Support for Intel Stratix 10, Arria 10, Cyclone V FPGA Families - Product

July 29, 2019

OneSpin 360 EC-FPGA Ensures Design Integrity for Machine Learning, AI, Big Data, High-Bandwidth Applications that Require Highly Optimized Implementations, QoR.

Processing

OneSpin Joins the RISC-V Foundation - Press Release

May 16, 2019

Supports Adoption of RISC-V ISA with RISC-V Integrity Verification Solution

Open Source

MEDIA ALERT: OneSpin Solutions to Feature RISC-V Integrity Verification Solution at GOMACTech - Press Release

March 19, 2019

Will Present "Complete Formal Verification of RISC-V Processor IPs for Trojan-Free Trusted ICs" During Session 41, Verification and Validation

Processing

OneSpin Solutions' Raik Brinkmann, Dave Kelf Provide Industry Perspective to Newly Published Book on Formal Verification - Other

September 06, 2017

Formal System Verification Covers State-of-the-Art, Future Trends in Formal Verification