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

Boost Valley Named OneSpin Solutions Spinnaker Certified Service Partner

Close Collaboration Focused Around Specialized Formal IP Practice

SAN JOSE, CALIF. –– November 10, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, announced today that Boost Valley®, a pioneer of intelligent verification intellectual property (IP) and verification services, has joined the Spinnaker Certified Service Partners Program.

The Spinnaker Program, which offers a broad range of service expertise to meet a variety of verification needs, now includes a broader collaboration option known as Intelligent Verification IP (IVIP). Boost Valley as an inaugural member.

As a member of IVIP,...

Read more

OneSpin Solutions Appoints Ulisys Technologies as Israeli Distribution Partner

Collaboration with Noted Verification Experts Extends OneSpin’s Reach Into Key Market

SAN JOSE, CALIF. –– November 02, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, today named Ulisys Technologies™ as its Israeli distributor.

Ulisys Technologies will market, distribute and support OneSpin’s formal-based solutions on an exclusive basis for the region.

“I am delighted to welcome Ulisys into the OneSpin family,” notes Raik Brinkmann, president and chief executive officer of OneSpin Solutions. “Given the Israeli history of verification innovation and local demand for the OneSpin technology, it...

Read more

Semiconductor Industry Expert Jim Hogan Joins OneSpin Solutions’ Board of Directors

Experience, Understanding of Industry Cited

SAN JOSE, CALIF. –– October 21st, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, today announced the appointment of Jim Hogan, a well-respected semiconductor design and manufacturing industry executive, to its board of directors.

“I’m pleased to welcome Jim Hogan to our board, one of the most experienced executives in EDA today,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “He has an uncanny understanding of the industry, along with infectious energy and enthusiasm that will make him an invaluable advisor to me and the...

Read more

OneSpin Solutions Adds Formal Fault Qualification Analysis to Safety Critical Apps Portfolio; Will Demonstrate OneSpin 360 Qualify at DAC

Expands Safety Critical Formal Verification Solution for Automotive, Other Industry Segments Working With High-Reliability Design Constraints

SAN JOSE, CALIF. –– June 3, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, announced it will demonstrate its new OneSpin 360 Qualify™ product, formal fault qualification analysis for safety critical systems, during the 52nd Design Automation Conference (DAC) in Booth #3126.

OneSpin 360 Qualify accelerates and increases the precision of safety critical fault verification, an important part of the qualification process for ISO 26262 and other safety...

Read more

OneSpin Solutions Catalyzes Unique, Third-Party Verification Solutions by Delivering OneSpin 360 LaunchPad, First Adaptive Formal Platform

Advanced Formal Verification Technology Platform from OneSpin Used by Partner Companies in Range of New, Unique Verification Solutions

SAN JOSE, CALIF. –– May 21, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, today unveiled 360 LaunchPad™, an adaptive formal technology platform that allows third-party companies with limited knowledge of formal technology to develop and deliver formal-based apps.

LaunchPad is a complete formal environment that can be utilized by app developers without in-house formal technology or expertize. It allows domain experts to efficiently create formal-based...

Read more

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

Press Contact

portrait of Nanette Collins

Nanette Collins
» nanette@nvc.com
» +1 617 437 1822