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 Meets Increased Demand for Formal Equivalence Checking Solution with Support for Intel Stratix 10, Arria 10, Cyclone V FPGA Families

OneSpin 360 EC-FPGA Ensures Design Integrity for Machine Learning, AI, Big Data, High-Bandwidth Applications that Require Highly Optimized Implementations, QoR

 

MUNICH, GERMANY –– May 23, 2019 –– OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, today announced its OneSpin 360 EC-FPGA now supports three Intel® field programmable gate array (FPGA) families, Stratix® 10, Arria® 10, and Cyclone® V.

The move to support FPGAs used in high-bandwidth applications meets increasing demand from verification engineers for formal equivalence checking solutions that ensure functional…

Read more

OneSpin, Co-Hosts Celebrate Verification Ecosystem with “Verified” at DAC

DAC’s Hottest Yearly Social Event to be Held at Topgolf Las Vegas

 

MUNICH, GERMANY –– May 15, 2019 –– OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, will host “Verified,” the annual celebration of the verification ecosystem, Monday, June 3, during the 56th Design Automation Conference in Las Vegas, Nev.

Verified from OneSpin and co-hosts Agnisys, AMIQ EDA, Avery Design Systems, Blue Pearl Software, Breker Verification Systems, Concept Engineering, Dassault Systèmes, Imperas, Semifore and Verific Design Automation will be held at Topgolf Las Vegas at MGM Grand. The…

Read more

OneSpin Joins the RISC-V Foundation

Supports Adoption of RISC-V ISA with RISC-V Integrity Verification Solution

 

MUNICH, GERMANY –– May 7, 2019 –– OneSpin® Solutions today joined the RISC-V Foundation, a non-profit corporation controlled by its members to drive a new era of processor innovation via the adoption and implementation of the free and open RISC-V instruction set architecture (ISA).

This follows an earlier announcement that OneSpin, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, released its RISC-V Integrity Verification Solution. The solution enables the RISC-V community's development and assessment of RISC-V cores, based…

Read more

OneSpin Highlights Formal Verification Advantages at DVClub Europe, DVCon China

Presentations, Poster Session, Exhibit Focus Attention on OneSpin’s Formal Verification Expertise

MUNICH, GEMANY –– April 9, 2019 –– OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, will present its formal verification expertise through presentations, a poster session and an exhibit at DVClub Europe Q2 and DVCon China.

Dominik Strasser, OneSpin’s vice president of engineering, will offer “Leveraging 20 Years of Formal Verification Data to Speed-up Today’s Proof” during the DVClub Europe Q2 Meeting on Artificial Intelligence in Verification Tuesday, April 16, at 12:25 p.m. BST.…

Read more

OneSpin Expands TÜV SÜD Safety Certified Portfolio with OneSpin 360 Quantify Tool Qualification Kit for ISO 26262, IEC 61508, EN 50128 Standards

Users Deploy Formal Model-Based Mutation Coverage into Automotive ASIL D Projects to Free Users from Tool Qualification Requirements

MUNICH, Germany and SAN JOSE, Calif. -- Feb. 26, 2019 -- OneSpin® Solutions, provider of innovative verification solutions for highly reliable, digital integrated circuits (ICs), announced today certification of its OneSpin 360 Quantify™ Tool Qualification Kit by internationally recognized testing body TÜV SÜD.

The OneSpin 360 Quantify™ Tool Qualification Kit 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).

As the last tool in a formal verification…

Read more

OneSpin’s Unique Hardware Metric Calculation App Boosts Automation of Failure Modes, Effects and Diagnostics Analysis (FMEDA) for Complex Automotive SoCs

Saves Time and Resources by Replacing Manual Spreadsheets for Computing Critical Hardware Failure Metrics to Satisfy ISO 26262

MUNICH, Germany and SAN JOSE, Calif. -- Feb. 25, 2019 -- OneSpin® Solutions, provider of innovative verification solutions for highly reliable, digital integrated circuits (ICs), today expanded its applications suite with an App to calculate key hardware metrics to comply with functional safety standards, leveraging automatically extracted design information.

The Hardware Metric Calculation (HMC) App is used by engineering groups designing automotive systems on chip (SoCs), including those providing autonomous capabilities, that must meet the highest functional…

Read more

OneSpin Launches First Formal RISC-V Integrity Verification Solution

Completeness of ISA Specification Ensures Absence of Functional Errors, Hardware Trojans, Security Vulnerabilities

MUNICH, Germany and SAN JOSE, Calif. -- Feb. 21, 2019 -- OneSpin® Solutions, provider of innovative verification solutions for highly reliable, digital integrated circuits (ICs), today unleashed its RISC-V Integrity Verification Solution for development and assessment of RISC-V cores, leveraging its advanced formal verification expertise for automotive and other high-integrity processor applications.

The RISC-V Integrity Verification Solution, based on the RISC-V instruction set architecture (ISA) formalized in a set of SystemVerilog Assertions (SVA), is delivered as a series…

Read more

OneSpin Notches Up Formal Verification with Connectivity XL

Enables Top-Level Formal Connectivity Verification for Multi-Billion Gate SoCs

MUNICH and SAN JOSE, CALIF. –– January 31, 2019 –– OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today unveiled the latest entry in its app library –– the OneSpin 360 DV Connectivity XL™ App –– extending the benefits of formal connectivity checking to 7nm, multi-billion gate system-on-chip (SoC) designs.

The Connectivity XL App has orders of magnitude higher capacity and faster runtime compared to traditional formal connectivity checking, verifying chips with more than one-million connections, 60-million module instances and…

Read more

OneSpin Launches “App” for Formal Verification of Floating-Point Hardware Critical for Machine Learning and Deep Learning Chips

Offers Exhaustive Coverage of Floating-Point Arithmetic Operations Compliant with IEEE 754 Standard

MUNICH, Germany and SAN JOSE, Calif. -- Nov. 27, 2018 -- OneSpin® Solutions today launched OneSpin 360 DV Floating Point Unit (FPU) App, an application add-on to the OneSpin 360 DV Property Checker™ for the formal verification of floating-point hardware compliant with the IEEE 754 standard. 

The new app offers exhaustive coverage to uncover deep, corner-case bugs in IEEE 754 implementations and includes a reliable model of floating-point arithmetic operations optimized for formal analysis, increasing development speed and quality of IEEE 754 FPUs. It verifies that results of arithmetic…

Read more

OneSpin Experts Talk Functional Safety Compliance at DVClub Europe, SemIsrael Expo 2018, 2nd Annual Conference on ISO 26262 to Semiconductors

Three Events Highlight OneSpin’s Comprehensive Solutions for Safety-Critical Applications

MUNICH, Germany and SAN JOSE, Calif. -- Nov. 14, 2018 -- Experts from OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will attend DVClub EuropeSemIsrael Expo 2018 and the 2nd Annual Conference on ISO 26262 to Semiconductors presenting its safety-critical application offerings.

DVClub Europe: Automotive Safety and ISO 26262 will include a talk by Sergio Marchese, OneSpin’s technical marketing manager, titled “Hardware Safety Metrics for ISO 26262 Compliance.” The event will be held Tuesday, November 27, in Bristol and…

Read more

Press Contact

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