Optimizing Fault Simulations with Formal Analysis for Asil Compliance
TimeTuesday, December 7th5:00pm - 6:00pm PST
LocationLevel 2 - Exhibit Hall
Event Type
Designer, IP and Embedded Systems Track Poster Networking Reception
Virtual Programs
Presented In-Person
DescriptionASIL-D is the highest grade in the ISO 26262 Standard’s risk classification system for functional safety for road vehicles. Developing fully ASIL-D compliant IPs has become very critical in Automotive SoCs which are used for driver aids. ASIL-D compliance is required for the most safety critical components, requiring less than 1% SPF. According to the ISO 26262 Standard, to confirm the safety mechanism it is recommended to run fault-injection to measure metrics on the implemented design, to generate the FMEDA report and safety manual. Typically, the fault injection campaign is executed for the targeted IP using a fault simulation tool. However, for a more efficient and productive fault campaign, there is a need to use additional techniques, like formal analysis, to improve the overall process.
The flow showcased here was used on memory controller IP using Z01X, VC Formal, and FDB, and advocates using each tool’s high-value, high-return features at the proper time in the fault campaign. Fine-tuning the flow for best turnaround time, repeatability, and portability, we focused on reducing manual analysis steps, using smarter technologies, and leveraging machine compute power, without compromising the quality of results and fault classifications.