OneSpin Solutions Latest News

Headline Sign Up for SoC News Alert	Publication


Clue Technologies adopts OneSpin's verification solution for avionic computing systems	Aug. 20, 2020

NanoSemi Relies on OneSpin Automated Formal Verification Tools to Verify SystemC Designs for 5G ASICs	Jun. 26, 2019

OneSpin's Newest App Assures Quality of RISC-V Processor Cores for Safety-, Security-Critical Applications	May. 23, 2019

OneSpin Puts Verification on the Move with New PortableCoverage Solution	Oct. 24, 2018

OneSpin Announces Immediate Availability of OneSpin 360 EC-FPGA Tool Qualification Kit Certified for ISO 26262, IEC 61508, EN 50128	Feb. 15, 2018

OneSpin Solutions Unveils its Comprehensive Safety Critical Solution for Automotive, Other Mission-Critical Applications	Jun. 01, 2017

OneSpin Solutions Adds Formal Fault Qualification Analysis to Safety Critical Apps Portfolio; Will Demonstrate OneSpin 360 Qualify at DAC	Jun. 04, 2015

OneSpin Delivers First SystemC Assertion-Based Formal Verification Solution	Feb. 24, 2015

OneSpin Solutions Introduces Unique, Formal-Based Observation Coverage Solution to Magnify Verification Closure Precision	Feb. 19, 2014

OneSpin Solutions Offers Full Availability of its Cloud Computing System After Successful Beta Program	Sep. 24, 2013

OneSpin Solutions Reaches for the Cloud, Driving New Technology, Business Model for Easy Adoption	May. 15, 2013

OneSpin Solutions, Oasys Design Systems Ink OEM Agreement	Feb. 26, 2013

OneSpin Solutions Unveils OneSpin 360 DV Product Family	Feb. 11, 2013

OneSpin Solutions Adds RTL-to-RTL Equivalence Checking to Product Family	Feb. 11, 2013

OneSpin Solutions' Formal Verification Software Enables Maxim Integrated to Identify SoC Design Issues Early in the Project Cycle	Dec. 17, 2012

Azini Capital Funds OneSpin Solutions to Accelerate Growth	Jun. 01, 2012

OneSpin launches industry’s first comprehensive solution for automatic metric-driven formal assertion-based verification coverage analysis and measurement	May. 23, 2011

OneSpin Solutions Announces 360 MV-Based Formal Verification Environment Adopted by Renesas Electronics Microcontroller Platforms	May. 16, 2011

Azini Capital Acquires OneSpin Solutions	Jan. 24, 2011

OneSpin Solutions Enhances 360 MV for Safe, Exhaustive 4-State X-Analysis and X-Verification	Jun. 07, 2010

OneSpin Solutions Announces Customizable Integration Between 360 MV Verification Solution and Platform LSF Infrastructure	Feb. 22, 2010

OneSpin's New Debug Automation Technology Boosts Formal Assertion-Based Verification Productivity	Jul. 15, 2009

Tieto Signs Long-Term Agreement to Deploy OneSpin Solutions' Formal Assertion-Based Verification Solution	Jul. 06, 2009

OneSpin Mainstreams Comprehensive Formal Assertion-Based Verification Enabling Step-by-Step Approach to Adoption and Use	Jan. 19, 2009

Onespin Announces Industry's First SVA Solution for Gap-Free Verification	Jun. 05, 2008

OneSpin Solutions Dramatically Boosts Formal Verification Productivity With New GapFreeVerification Process	Feb. 18, 2008

OneSpin Solutions Delivers First Equivalence Checker Dedicated to FPGA Synthesis Verification	Dec. 10, 2007

OneSpin Enhanced 360 Module Verifier Delivers Industry's Firt Complete Multi-Configuration IP Verification Solution	May. 14, 2007

OneSpin Solutions Enters EDA Market with Breakthrough Formal Verification Solution; OneSpin 360 Module Verifier First to Enable True Functional Sign-off and Risk-Free IP Reuse	May. 08, 2006