Synopsys supports ISO 26262 sign-off through a connected workflow spanning safety planning, verification, and evidence generation. VC Z01X enables high-performance fault simulation to quantify diagnostic coverage, VC Formal FuSa provides exhaustive formal-based safety analysis to validate safety mechanisms, and Safety Manager connects safety goals, requirements, and verification results into traceable, assessor-ready work products — helping teams close ASIL targets with greater consistency and less rework near tape-out.

ASIL D represents the highest integrity level in ISO 26262 and demands rigorous verification evidence across hardware, firmware, and software. Teams must demonstrate that safety mechanisms achieve the required diagnostic coverage targets — including Single-Point Fault Metric (SPFM) and Latent Fault Metric (LFM) thresholds — with full traceability from safety goals through implementation to verification results. Scalable fault campaigns, exhaustive safety mechanism analysis, and structured evidence generation are all essential to closing an ASIL D program on modern, heterogeneous SoCs.

Diagnostic coverage for ISO 26262 is demonstrated through targeted fault injection campaigns that evaluate the effectiveness of safety mechanisms against defined fault models. The results — expressed as SPFM and LFM metrics — provide measurable evidence that safety mechanisms detect or control the required proportion of faults at a given ASIL level. VC Z01X supports this with high-performance fault simulation at scale, while VC Formal FuSa complements simulation with exhaustive formal analysis to address unreachable and hard-to-activate faults.

Assessors typically expect a structured set of work products aligned to the ISO 26262 lifecycle, including a safety plan, Hazard Analysis and Risk Assessment (HARA) outputs, safety goals, functional and technical safety requirements, Dependent Failure Analysis (DFA) results, hardware and software verification reports, and traceability demonstrating that safety requirements are implemented and verified. Diagnostic coverage evidence, confirmation measures, and a consistent audit trail from safety concept to sign-off are critical for assessment readiness. Safety Manager supports the creation and maintenance of these artifacts throughout the development program.

Fault simulation is the primary method for validating that safety mechanisms in hardware designs perform as intended and achieve the diagnostic coverage required by ISO 26262. By injecting fault models — including stuck-at, transition, and cell-aware faults — into a gate-level design and measuring detection rates, teams generate the quantitative evidence needed to justify SPFM and LFM values for a given ASIL target. VC Z01X is built for this, delivering the throughput and campaign scalability needed to complete fault analysis on large, complex SoCs without becoming a schedule bottleneck.

Assessor engagement often extends when safety artifacts are inconsistent, incomplete, or spread across disconnected tools. Synopsys addresses this by connecting safety planning, traceability, and verification results in a centralized workflow — so teams can generate structured, consistent documentation throughout development rather than assembling evidence under deadline pressure. Safety Manager supports this with traceable work products aligned to ISO 26262 requirements, reducing the manual effort needed to prepare for reviews and enabling teams to respond to assessor queries with greater confidence and speed.

“Certification” can refer to training certificates, product assessments, or audit readiness. Synopsys is not a certification body; Synopsys provides solutions that help teams execute ISO 26262-aligned verification and documentation to support compliance programs and assessment preparation.

They support safety planning and traceability, scalable fault injection and analysis, and consistent evidence generation to help teams close ASIL targets and reduce late-stage risk.