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 Provides Automated ISO 26262 Safety Analysis, Verification Flow to Kalray

Functional Safety Flow Enables Kalray’s Massively Parallel Processor Arrays to Be Used in Autonomous Vehicles

MUNICH and SAN JOSE, CALIF. – June 25, 2018 – OneSpin® Solutions announced today successful completion of the first phase of an effort to deploy at Kalray a rigorous, automated flow for the analysis of hardware architectural metrics required by the ISO 26262 automotive electronics standard.

Kalray designs and markets a new generation of “intelligent” processors that have the capability to analyze on the fly and in an intelligent manner a large flow of information, and to react and make decisions in real time.

Kalray’s intelligent processors deliver low-latency, low-consumption and...

Read more

OneSpin Rolls Out OneSpin 360 EC-FPGA Tool Qualification Kit to Meet DO-254 Standard

Users Deploy EC-FPGA Formal Sequential Equivalence Checking into Aviation Electronic Systems with Support for Certification Processes 

MUNICH and SAN JOSE, CALIF. – June 20, 2018 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today rolled out OneSpin 360 equivalence checking (EC)-field programmable gate array (FPGA)™ Tool Qualification Kit to support the DO-254 standard.

“OneSpin’s EC-FPGA exhaustively verifies highly optimized FPGAs for aviation, aerospace, autonomous vehicles, nuclear power plants, railways and medical devices, eliminating systematic errors introduced during implementation,” says Dr. Raik...

Read more

OneSpin Adds Axiomise and Truechip to Spinnaker Certified Service Partners Program

Partnership Ensures Broad Range of Service Expertise to Meet Variety of Formal Verification Needs

MUNICH and SAN JOSE, CALIF. – June 14, 2018 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today named formal verification training, consulting and services company Axiomise and Truechip, a leading provider of verification IP (VIP) products and services, to its Spinnaker™ Certified Service Partners Program.

With a focus on leading-edge products and technology, the Spinnaker Program ensures a broad range of service expertise to meet a variety of verification needs. Under terms of the program, Axiomise and...

Read more

OneSpin, 14 Co-Hosts to Present “Verified” at DAC 2018

DAC’s Hottest Social Event to be Held at Golden Gate Tap Room

MUNICH and SAN JOSE, CALIF. – June 6, 2018 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will host the second annual “Verified,” a celebration of the verification ecosystem Monday, June 25, during the Design Automation Conference (DAC).

Verified will be held at the Golden Gate Tap Room, second floor, 449 Powell Street in San Francisco from 8 p.m. until midnight, and will feature live music and dancing, vintage arcade and table games, snacks and drinks.

The invitation-only event brings together the verification community for networking and fun...

Read more

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 FuturesAviation 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...

Read more

Press Contact

portrait of Nanette Collins

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