FPGA DESIGN

FORMAL VERIFICATION - OVERVIEW

Siemens_Expert-Partner

OneSpinĀ® - FORMAL VERIFICATION SOLUTIONS

OVERVIEW

OneSpin Solutions provides certified IC integrity verification solutions for use across the entire System-on-Chip (SoC) design flow. These solutions assure that designs are functionally correct, safe and meet stringent safety compliance standards, trusted and secure. 

Automated apps are increasingly critical to successful formal verification flows. These apps complement traditional formal techniques and help democratize this type of verification processes by automating and dramatically streamlining common verification tasks.

Solutions are divided into four categories:

FunctionalCorrectness

Design Verification (DV)

Rigorous coverage-driven functional verification from block to chip, leveraging unique formal technology.

FPGA ASICS PrĆ¼fung

Equivalence Checking (EC)

Automatic detection of systematic design errors introduced by design refinement tools (e.g., synthesis) to exhaustively verify equivalence of RTL to synthesized netlist to final place & route (P&R).

Funktionale Sicherheit

Functional Safety

Safety analysis to meet the strict certification requirements of functional safety standards such as ISO 26262 for automotive, IEC 61508 for industrial, and DO-254 for avionics.

Vertrauen und Sicherheit

Trust and Security

Automatic detection of RTL Trojans and hardware vulnerabilities to adversary attacks.

Demo? – Make an Appointment with one of our Verification Experts

We want to help you to stay productive and meet your verification challenges. Simply make a no obligation appointment with one of our experienced application engineers. We are looking forward to learn about your requirements and give you a demo of our solutions.

Contact

    Privacy Policy*
    I have read the TRIAS mikroelektronik GmbH privacy policy and I agree that my details and data are collected and stored electronically in order to answer my request.

    Loading...

    Fields marked with * are mandatory.

    Leading Edge Formal Technology


    Leading Edge Formal Technology

    Source: OneSpinĀ® - A Siemens Business

    Code Inspection Examples

    Source: OneSpinĀ® - A Siemens Business

    FUNCTIONAL CORRECTNESS

    Rigorous coverage-driven functional verification from block to chip, leveraging formal technology

    OneSpin provides a complete formal-based solution for the verification of RTL designs from the IP and block level to complete systems-on-chip (SoCs), as well as verification of implementation in FPGA devices.


    TƜV

    Source: OneSpinĀ® - A Siemens Business

    SAFETY

    Functional safety analysis to meet the requirements of ISO 26262, IEC 61508, DO-254 and other standards

    OneSpinā€™s Functional Safety Verification Solution provides automated functional safety analysis that enables an efficient, predictable path to standard compliance.

    ISO 26262 | DO-254 | DO-330 | IEC 61508 | EN 50128


    Vertrauen und Sicherheit

    Source: OneSpinĀ® - A Siemens Business

    TRUST & SECURITY

    Automated detection of hardware Trojans and vulnerabilities to adversary attacks

    Hardware assurance (HwA) is critical to build secure systems from the ground up. OneSpin takes a holistic approach to IC integrity, providing solutions that verify not only functional correctness and safety but also trust and security.



    HETEROGENE DATENVERARBEITUNG

    Source: OneSpinĀ® - A Siemens Business

    HETEROGENEOUS COMPUTING

    Thorough verification of complex SoC platforms used for 5G wireless, IoT, and AI applications

    System-on-chip (SoC) designs have for some time included heterogeneous processors. Traditional CPUs have grown into multiprocessor subsystems while GPUs and other specialized compute engines have also resided on the same chip. But heterogeneous computing platforms take this architecture two steps further, by also including both FPGA-style programmable logic and software-programmable engines. These features greatly increase the flexibility available to users to implement their desired functionality in hardware, software, or a combination of both.


    AUTOMOTIVE & INDUSTRIAL

    Systematic bug elimination and metrics on proper handling of random errors in the field

    Automobil und Industrie

    Source: OneSpinĀ® - A Siemens Business

    Industrial applications, most notably nuclear power plants, have many similar characteristics to the automotive domain. There is strong motivation to eliminate systematic errors, survive random errors, and thwart adversary attacks. Another common aspect to industrial and automotive applications is the presence of established standards such as ISO 26262 for automobiles and other road vehicles, EN 50128 for railways, and IEC 61508 for industrial safety systems.

    ISO 26262 is a widely cited example of a standard with precise requirements that directly drive robust IC verification flows. It divides errors into systematic errors in the design and random errors in the field. OneSpinā€™s Functional Reliability Solution leverages innovative formal technologies to span the full range of verification to eliminate systematic errors. The solution includes automatic checks in DV-Inspectā„¢, automated formal analysis provided by multiple apps, and the full assertion-based verification capabilities of DV-Verifyā„¢. The exhaustive nature of formal means that it is possible to prove exhaustively that a design meets its specification.

    Once the RTL design has been fully verified, OneSpinā€™s EC-ASICā„¢ and EC-FPGAā„¢ use formal equivalence checking to ensure that the implementation through synthesis and place-and-route does not alter design functionality.

    RISC-V

    RISC-V

    Source: OneSpinĀ® - A Siemens Business

    Quick and exhaustive verification and proof of compliance to instruction set architecture (ISA) with no gaps or inconsistencies

    The OneSpin RISC-Vā„¢ Integrity Verification Solution is the industryā€™s first commercial tool suite to address the needs of both core providers and core integrators. It leverages OneSpinā€™s advanced formal verification expertise for automotive and other high-integrity processor applications to exhaustively verify the implementation with minimal set up and runtime. The core of the solution is the formalization of the RISC-V ISA as a set of SystemVerilog Assertions (SVA) using the unique OneSpinĀ® Operational Assertion approach. Operational SVA enables high-level, non-overlapping assertions that capture end-to-end transactions and requirements in a concise, elegant way.

    OneSpinĀ® Solutions