Tool Qualification Kit for Functional Safety Compliance

Introduction

With growing advancements in hardware designs, the complexity of designs has increased multiple folds and brought great challenges to the lifecycle of quality management, development, validation, verification, and production. Applications, especially in the automotive industry, avionics, and space programs, have also increased the need for functional safety assurance of these complex designs to a great extent. These applications have high requirements for functional safety because the consequences of failure could lead to damage, injury, or loss of life. The risk of system (hardware and software) malfunction must be measured and thus minimized.

Agnisys exclusively provides the Tool Qualification Kit (TQK) with its IDesignSpec™ tool suite, offering users a pre-qualification kit for functionality-safe design. Users can embark on design development processes involving this EDA tool suite without adding additional measures for safety compliance.

Ensuring Standard Safety Compliance in SoC Verification and Testing

There are industry standards that provide laid-down guidance for developers to assess risks and develop appropriate measures so that the development cycle systems continue to operate safely even when failures occur. For electrical and electronic vehicular applications, ISO 26262 is the primary standard.

Part of applying ISO 26262 to the IP and system-on-chip (SoC) development and verification process is qualifying the electronic design automation (EDA) tools used. This can place a heavy burden on the users, so tool vendors should do as much of the work as possible by providing products and flows that meet the stringent qualification requirements of the standard. The complete Agnisys IDesignSpec™ Suite of products, including SoC verification and testing, has been certified by an internationally recognized testing organization.

IDesignSpec™ tool suite has achieved the stringent tool qualification criteria defined in ISO 26262. The Tool Suite is classified as a T2-offline-tool, suitable to be used in safety-related development according to IEC 61508. The certification means that IP and SoC developers only have to qualify the tool for its safety compliance through the mandatory TQK (tool qualification kit) to integrate it into their development and verification flow.

Tool Qualification Kit (TQK) details

Agnisys provides the ISO 26262 Tool Qualification Kit (TQK) for the pre-qualification of the complete suite of IDesignSpec (IDS™) software products. Agnisys crafts this mandatory kit for customers initiating a functionally safe design, ensuring they qualify for the safety of Agnisys Tools before actual use in their development cycle. The kit consists of the following items to serve its purpose –

1. Tool download links with their checksum to detect transmission errors, if any.
2. The Safety Manual is a complete guide for customers to get started. Customers are expected to follow the guidelines and recommendations in this manual when working on functionally safe designs.
3. Release Notes for an overview of the latest feature enhancements and fixes in the tool with their traceable IDs.
4. A validation kit, which further consists of :

1. Agnisys Kitchen Sink (AKS) is an all-encompassing design sample with various supported and approved structures and properties that are found to be functionally safe by Agnisys, Users can plug and use AKS components in their design structures based on their specifications and needs.
2. Test scenarios with their RUN commands/generation configuration and the expected static results for users to compare and ensure correct and expected tool behavior.
3. Verification reports of static files such as bridges will be used in the design. 
4. Regression log for the release version to ensure backward compatibility.
5. List of known issues as waiver scenarios in the FS release.

Conclusion

For users seeking a functionally safe release for any of the IDesignSpec suite of tools, following the TQK will provide them with a clear set of actions and expectations to ensure industry-standard functional safety in their created designs. This kit guarantees the capability to convert the design specification to functional safe code, provided the customer adheres to the ISO26262/IEC61508 standards for developing their specifications in accordance with the mentioned standards.

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 The IC Designer's Guide to Automated Specification of Design and Verification, for Better Products.