OneSpin? Solutions
4820 Harwood Road
#250
San Jose, CA 95124 [email protected]
+1 408 734 1900
https://www.onespin.com/
#250
San Jose, CA 95124 [email protected]
+1 408 734 1900
https://www.onespin.com/
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, 2019RISC-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, 2019OneSpin 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, 2019Supports 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, 2019Will 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, 2017Formal System Verification Covers State-of-the-Art, Future Trends in Formal Verification