lp header

Functional Safety IC Design Solution


The Agnisys solution enables semiconductor designers to create products that satisfy functional safety specifications such as ISO 26262 for road vehicles and IEC 61508 for safety critical manufacturing.

Benefits of a Functional Safety Solution

A functional safety solution for IC design provides benefits for semiconductor designers. The certification process of any product is extensive, so using our certified design and verification tools provides three major benefits:

  • It reduces the time for your product certification
  • It supports high-reliability design automation from a design specification
  • It shortens the time for verification of the functional safety elements in the design

The IC Designer’s Guide to Automated Specification of Design, Verification, and Validation for Better Products

There are multiple causes for designs being wrong, but some of the most common are related to the design specifications and how they are distributed and maintained throughout the product development lifecycle. Learn how to address this issue by reading this guide. 


IDesignSpec™ Tool Qualification Kit (TQK)

It is essential for customers embarking on a functionally safe design to go-through the pre-qualification of the IDesignSpec suite using this Tool Qualification Kit (TQK). It is a comprehensive, structured approach for validating the tool’s behavior and its expectation as per the ISO26262 and IEC61508 safety standards. The important constituents of the TQK are the ISO ISO26262 and IEC61508 Certificate, a Safety Manual and a Validation Kit.


IDesignSpec ISO 26262 Compliance

Part of applying ISO 26262 to the IP and system-on-chip (SoC) development process is qualifying the electronic design automation (EDA) tools used. The complete Agnisys IDesignSpec™ Suite of products has been certified by the internationally recognized testing organization TÜV SÜD to have achieved the stringent tool qualification criteria defined in ISO 26262, compliant to the highest safety integrity levels of ASIL D and TCL1. The IDesignSpec Suite is classified as T2 offline-tool, suitable to be used in safety-related development according to IEC 61508.

The certification means that your IP and SoC developers do not have to take any additional steps to qualify or certify the Agnisys products in your flow.


Automatic Generation of Safety Mechanisms

Agnisys helps designers meet the requirements of standards such as ISO 26262 and IEC 61508 by automatically generating the safety logic to detect and report faults. Based on user specification, IDesignSpec GDI or IDS-Batch CLI can generate the following types of safety logic included within your RTL design:

  • Adding a parity bit(s) to detect a changed value
  • Calculating and checking a cyclic redundancy check (CRC) to detect a changed value
  • Using single error correction double error detection (SECDED) to both detect and correct a changed value
  • Implementing triple modular redundancy (TMR) so that two correct values will “outvote” an incorrect value
  • Adding error injection and checking to the generated logic