close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Press Releases

OneSpin Solutions, Tortuga Logic Ink Multi-Year OEM Agreement

Apps Model Adopted by OneSpin Solutions, Tortuga Logic to Link Formal Verification Platform with Hardware Security Design and Analysis Toolkit

SAN DIEGO and SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™ and Tortuga Logic today signed a multi-year original equipment manufacturer (OEM) agreement, enabling Tortuga to integrate OneSpin’s LaunchPad™, the company’s new adaptive formal platform, with Prospect™, its Hardware Security Design and Analysis Toolkit.

LaunchPad, introduced today by OneSpin Solutions, offers a way for third-party suppliers such as Tortuga Logic to embed its formal verification software into their products or “apps.” (See separate news release...

Read more

OneSpin Solutions, Agnisys Sign Multi-Year OEM Agreement

Apps Model Links Formal Verification Platform to Automatic Register Verification Software

LOWELL, MASS., and SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™ and Agnisys Inc. today signed a multi-year original equipment manufacturer (OEM) agreement, whereby Agnisys will integrate OneSpin 360 LaunchPad™, the company’s new Adaptive Formal Platform, into its ARV-Formal™ automatic register verification software.

Introduced today by OneSpin Solutions, LaunchPad gives third-party suppliers a way to embed its formal verification software into their products, or “apps.” (See separate news release titled “OneSpin Solutions Catalyzes Unique, Third-Party Verification Solutions by...

Read more

Microsemi and OneSpin Solutions Target High-reliability Design Verification with Formal-based FPGA Equivalency Checking Solution

OneSpin 360 EC-FPGA Used to Verify Microsemi FPGA Designs, including SmartFusion2 SoC FPGAs and IGLOO2 FPGAs for Safety Critical Applications

ALISO VIEJO and SAN JOSE, CALIF. –– March 23rd, 2015 –– Microsemi Corporation (Nasdaq: MSCC), a leading provider of semiconductor solutions differentiated by power, security, reliability and performance, and OneSpin Solutions™ today announced that OneSpin® 360 Equivalence Checking (EC)-FPGA verification solution now fully supports the Libero® System-on-Chip (SoC) design flow.

Equivalency Checking has become a critical component in the verification of high-reliability designs such as Safety Critical components, ensuring that no...

Read more

OneSpin Delivers First SystemC Assertion-Based Formal Verification Solution

Capability Enables Functional Verification of High-Level SystemC Code

SAN JOSE, CALIF. –– February 24, 2015 –– OneSpin® Solutions, provider of innovative formal verification and formal equivalence checking solutions, today announced that OneSpin 360 DV™ now supports the SystemC language, delivering the first SystemC Assertion-Based Formal Verification Solution.

The addition of SystemC is a natural extension of the OneSpin 360 DV tool suite, allowing engineers to receive the full benefits of formal Assertion-Based Verification (ABV) and automated design inspection solutions for their SystemC design code. Both C language assertions as well as the SystemVerilog Assertion...

Read more

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

Quantify’s Patented Technology Drives Coverage Accuracy Across Existing Verification Flows

SANTA CLARA, CALIF. –– February 19, 2014 –– OneSpin Solutions™, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, today announced Quantify™, patented software already proven in integrated circuit (IC) development environments to increase the precision with which verification coverage may be measured.

“While coverage measurement has been an essential element of the verification process, established methods have shortcomings that lead to the increased risk of post-production bugs and elongated engineering schedules,” says Dr. Raik...

Read more

OneSpin Solutions Doubles Revenue, Triples Year-to-Year Bookings in 2013

Increases Adoption of Formal Assertion-Based Verification Software for ASIC, FPGA Designs

SANTA CLARA, CALIF. –– January 16, 2014 –– OneSpin Solutions™, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, finished 2013 with 100% revenue growth, doubling revenue and tripling year-to-year bookings for a 200% growth over 2012.

Adoption of OneSpin’s formal verification software increased for both application specific integrated circuit (ASIC) and field programmable gate array (FPGA) designs in 2013. This lead to growth in business from existing customers as well as an increased number of new customers ...

Read more

Press Contact

Michelle Clancy
» send an e-mail
» +1 503-702-4732