onespin-solutions Archives - Page 3 of 4

MEDIA ALERT: OneSpin Solutions to Demonstrate New Cloud Offering at 50th Design Automation Conference

By Publisher on May 28, 2013 Hardware

Will Highlight Entire Family of Innovative Formal Assertion-Based Verification Solutions

360-CS Provides On-Demand Usage Flexibility, Parallel Performance, While Solving Security Issues

"Formal Metric-Driven Verification" to Be Given by OneSpin-s Dr. Raik Brinkmann

By Publisher on April 25, 2013 Software

Program Offers Training, Certification, Software Licenses to Qualifying Members

"Formal Metric-Driven Verification" to Be Given by OneSpin-s Dr. Raik Brinkmann

Will Showcase Push-Button Formal Analysis, Automated Assertion Generation, Transaction-Level ABV, Functional Coverage, Equivalence Checking

Will Showcase Push-Button Formal Analysis, Automated Assertion Generation, Transaction-Level ABV, Functional Coverage, Equivalence Checking

By Publisher on January 15, 2013 Hardware

New Round of Funding, New Business Strategy With Product Roadmap Sets Course for Products to Be Unveiled Throughout 2013

By Publisher on December 17, 2012 Software

OneSpin 360 MV to Be Deployed at Design Centers Worldwide

Will Present "Push-Button Verification of Power Optimizations for Xilinx FPGAs," Demonstrate Entire Suite of Formal Verification Tools