Press Releases

OneSpin Creates DAC Buzz With Innovative Formal Verification Solutions, New Corporate Identity

Co-Sponsor of I LOVE DAC Named to Gary Smith EDA’s Must See@DAC List

SAN JOSE, CALIF. –– June 1, 2016 –– OneSpin® Solutions, deemed a “must see” exhibitor at the Design Automation Conference (DAC) by Gary Smith EDA, will showcase its entire line of innovative formal verification solutions for error-free digital integrated circuits (ICs) in DAC Booth #1249.

Additionally, OneSpin will use DAC to unveil its new corporate identity that includes refreshed branding, logo and website. The DAC Exhibit Floor will be open Monday, June 6, through Wednesday, June 8, from 10 a.m. until 6 p.m. at the Austin Convention Center in Austin, Texas.

“In the last four years, OneSpin has grown from a small...

Read more

FormalWorld.org Portal Dedicated to All Things Formal Verification Launches at DVCon

Online Resource Designed to Serve Formal Verification Engineering Community

DVCon 2016 –– SAN JOSE, CALIF. –– February 29, 2016 –– FormalWorld.org, is an online community dedicated to advancing the widespread use of formal verification. Launched today during DVCon 2016 here, the goal of the website is to be a complete online resource for the expanding formal verification community.

Formal verification has become a critical technology in the modern verification flow. With an increasing number of end-users in need of education, information and peer-to-peer networking, the site provides easy, open access to a range of helpful resources.

FormalWorld.org will provide links to a broad range of...

Read more

Sigasi Leverages OneSpin Solutions LaunchPad Technology to Integrate Formal Code Inspection into HDL Authoring Environment

Enables Early Bug Detection During Code Editing For FPGA, ASIC Designers

February 9th, 2016 –– OneSpin® Solutions, provider of innovative formal verification solutions, and Sigasi®, provider of hardware description language (HDL) design software, today announced the integration of the OneSpin formal-based design inspection software with Sigasi’s HDL authoring system Sigasi Studio XL.

The solution gives designers a way to run formal-based structural code checks within Sigasi’s environment at the point of edit, spotting issues that otherwise require additional verification effort. The use of formal techniques eliminates much of the false error-reporting characteristic...

Read more

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

Press Contact

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