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…
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.
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).
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…
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…
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…
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…
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…
Enables Integration of Formal Results, Coverage with any Simulator or Verification Planning Tool
MUNICH, Germany and SAN JOSE, Calif. -- October 23, 2018 --OneSpin® Solutions today announced PortableCoverage™, the first formal verification solution to integrate with all major simulators, coverage databases and viewers, and chip design verification planning tools, enabling users to choose the vendor or multiple vendors of their choice.
“Simulation and formal verification are essential to our chip design verification strategy,” says Thomas Klotz, verification expert at Bosch Sensortec. “We need to continually assess overall verification progress in order to determine next steps and measure…
OneSpin 360 EC-FPGA, EC-RTL Tools and Qualification Kit Accelerate Verification, Certification of Hitachi Products, Processes
MUNICH and SAN JOSE, CALIF. –– August 29, 2018 ––OneSpin® Solutions today confirmed Hitachi, Ltd. (TSE: 6501, "Hitachi") used its OneSpin 360 EC product family to verify vCOSS S-zero®, a functional safety controller for industrial facilities.
Additionally, OneSpin 360 EC products, including EC-FPGA™ and EC-RTL, helped Hitachi certify its measures for fault avoidance at the highest Safety Integrity Level 4 (SIL 4) according to the IEC 61508 standard.
“We achieved IEC 61508 SIL 4 for the fault avoidance measures during development of the functional safety controller…