Automate End-to-End Traceability, Implementation
and Verification of Automotive SoC Design

Accelerate the end-to-end safety design cycle for SoCs by using the safety specification format (SSF) for automotive designs up to ASIL D. SSF is a command interface that describes safety intent, such as hardware safety mechanisms and their attributes, across different tools involved in functional safety activities. After being manually or automatically generated, SSF can be used in RTL generation and verification tools, and digital design tools, to ensure that safety requirements are met at every phase in the design cycle.


Key Benefits

Generate & Analyze RTL
Automatically insert safety mechanisms; early power, timing, area, safety estimates
Verify RTL
Virtually instrument safety mechanisms to verify design for safety
Accelerate Implementation & Signoff
Ensure implementation is true to safety intent; automate safety error reports

Automate Safety Design to Ease ISO 26262 Compliance

Traditionally, engineers identify hardware safety mechanisms for their designs and then manually insert them into the RTL or netlist. After the design and verification process, they would confirm whether the safety goals have been achieved. They might use spreadsheets to track the hundreds or thousands of requirements, requiring substantial manual effort, with the potential for human error.

Automating this process by using SSF delivers an array of benefits:

  • Improves traceability by automating time-consuming and error-prone steps such as RTL generation, analysis, verification, implementation, and creating work products and supporting evidence
  • Reduces or eliminates labor-intensive custom tool scripting, which can degrade time-to-results and quality-of-results 
  • Provides scalability for Synopsys or third-party IP design re-use
  • Extends to non-automotive applications, such as client-server and industrial IoT
ssf

Figure 1: SSF is generated by Synopsys TestMAX™ FuSa, selected DesignWare® IP, and VC Functional Safety Manager,
or can be generated by the user.

Additional Resources

Talk with an Expert