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 to Present Formal Verification Expertise at FPGA-Kongress, Verification Futures, Aviation Electronics Europe, DAC

Formal Experts from OneSpin will Offer Presentations, Product Demonstrations

MUNICH, Germany and SAN JOSE, Calif. - May 31, 2018 - OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will present the full scope of its formal verification expertise this month at FPGA-KongressVerification Futures, Aviation Electronics Europe and the Design Automation Conference.

Muhammad Haque Khan, OneSpin’s product specialist synthesis verification, will present “FPGAs for Safety-Critical Applications” during FPGA-Kongress Wednesday, June 13, at 2:15 p.m. His 45-minute talk will describe how formal sequential equivalence…

Read more

OneSpin, Austemper Design Systems Form Partnership to Address Functional Safety in Chip Design Development Flows

Partnership Will Foster Adoption of Functional Safety Practices for Automotive Electronics, Other Mission-Critical Applications

MUNICH, SAN JOSE, CALIF., and AUSTIN, TEXAS – May 17, 2018 – OneSpin® Solutions and Austemper Design Systems today formed a partnership to address functional safety in the chip development flow for semiconductor companies developing automotive and other mission-critical applications.

With complementary chip development solutions, the two companies set a goal to foster adoption of a tool-supported methodology for functional safety applications. In pursuit of this goal, they already validated a combined design and verification flow. Austemper’s solution includes…

Read more

OneSpin’s Formal Verification Expertise Showcased in May at ChipEx, DVClub, SEE/MAPLD

Demos of OneSpin Formal Verification Solutions, Presentations by OneSpin Formal Experts

MUNICH and SAN JOSE, Calif. - April 26, 2018 -  OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will showcase its expertise in May at ChipEx2018DVClub Europe and SEE/MAPLD.

ChipEx will be held Tuesday, May 1, at the Tel Aviv Convention Center, Tel Aviv, Israel, from 8 a.m. until 4:30 p.m. OneSpin will exhibit and demonstrate its comprehensive formal verification solutions, including Safety Critical Verification, Quantify™ Fault Observation Coverage, SystemC/C++ Design Verification, and Field Programmable Gate Array (FPGA)…

Read more

Semiconductor Industry Responds to OneSpin’s Dare to Solve “The Sudoku Challenge” Holiday Puzzle

Four Winners Receive Amazon Echo Plus

MUNICH and SAN JOSE, CALIF. – March 22, 2018 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced four winners of its 2017–18 holiday puzzle.

“The Sudoku Challenge” asked engineers to use a formal verification tool to find the solution to the hardest Sudoku puzzle in the world and prove that the solution is unique.

Winners, all of whom used formal verification software to find the solution, are:

  • Phil Barker from Infineon, recipient of the Laurel Wreath prize for the solution garnering the most votes from users
  • Axis’ Lars Viklund, who triumphed with the…
Read more

OneSpin Completes All Factory Inspections, Audits by Internationally-Recognized Testing Body TÜV SÜD

Eliminates Tool Qualification Effort for Users Targeting Functional Safety Standards ISO 26262, IEC 61508, EN 50128

MUNICH and SAN JOSE, CALIF. – February 14, 2018 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced successful completion of a series of factory inspections and audits of its organization and tool development processes by internationally-recognized testing body TÜV SÜD. This conformance level enables OneSpin to provide certified formal verification solutions meeting tool qualification requirements set by functional safety standards (ISO 26262, IEC 61508 and EN 50128/SIL 3). As a…

Read more

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

Users Deploy EC-FPGA Formal Sequential Equivalence Checking into Automotive ASIL D Projects with no Additional Tool Qualification Requirements

MUNICH and SAN JOSE, CALIF. – February 14, 2018 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), announced immediate availability of its OneSpin 360 ECFPGA ™ Tool Qualification Kit certified by internationally-recognized testing body TÜV SÜD. The certification states that EC-FPGA meets the most stringent tool qualification criteria set by functional safety standards ISO 26262 (TCL3/ASIL D), IEC 61508 (T2/SIL 3) and EN 50128 (T2/SIL 3).

“OneSpin’s EC-FPGA is the only…

Read more

McKenzie Ross of OneSpin Solutions Reprises Role as Steering Committee Chair of Worldwide Women in Electronic Design

Sets Goals to Increase WWED’s Visibility, Promote Vibrant, Supportive Community of Women within Semiconductor Industry

SAN JOSE, CALIF. – October 4, 2017 – McKenzie Ross, marketing communications manager for OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will reprise her role as chair of the Worldwide Women in Electronic Design (WWED) Steering Committee for 2017–2018.

Ross has led the WWED Steering Committee since 2016 and served as vice chair in 2015. In addition to selecting and promoting a female speaker for the Design Automation Conference (DAC), the steering committee works to increase WWED’s visibility…

Read more

OneSpin Solutions’ Raik Brinkmann, Dave Kelf Provide Industry Perspective to Newly Published Book on Formal Verification

Formal System Verification Covers State-of-the-Art, Future Trends in Formal Verification

SAN JOSE, CALIF. – September 6, 2017 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced that its Chief Executive Officer Dr. Raik Brinkmann and Dave Kelf, vice president of marketing, contributed a semiconductor industry perspective to Formal System Verification. 

Springer Publishing’s newly released book edited by Dr. Rolf Drechsler, professor of Computer Architecture at the University of Bremen in Bremen, Germany, provides readers with a comprehensive introduction to the formal verification of hardware…

Read more

OneSpin's Formal Verification Verifies Solutions to Einstein's Riddle

Winning Entry from Nokia's Wolfgang Roessel, Runners Up from Infineon, ARM

SAN JOSE, CA - Jul 27, 2017 - OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced Wolfgang Roessel of Nokia provided the winning entry to OneSpin's Einstein's Riddle challenge, based on a public poll of the top 10 solutions.

Runners up are Darren Galpin from Infineon, Laurent Arditi at ARM and Phani Kumar Peri of Infineon.

OneSpin issued a challenge to solve the classic Einstein's Riddle using any formal verification tool. Entries were narrowed down to 10 and OneSpin confirmed they executed correctly using its DV-Verify™…

Read more

Formal Verification Leader OneSpin Solutions Unveils its Comprehensive Safety Critical Solution for Automotive, Other Mission-Critical Applications

Random Fault Verification Supported by New Safety Critical Apps, Certification Kits

SAN JOSE, CA - May 31, 2017 - OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today unveiled its comprehensive safety critical analysis and diagnostic coverage solution for automotive and other mission-critical applications.

"While formal verification is invaluable for any hardware application, its ability to debug automotive and mission-critical applications may prove to be the most effective use of this technology," says Dr. Raik Brinkmann, OneSpin's chief executive officer. "OneSpin's formal verification solutions ensure…

Read more

Press Contact

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