Functional Safety

Fault Campaign Management with Verisium Manager

• One unified system for verification campaign management across all engines
• Handles safety verification in both analog and digital domains
• Enables requirements traceability
• Automates reporting for required safety documentation

Fault Analysis with Jasper FSV App

• Applies industry-leading formal techniques to fault analysis
• Reduces the simulation fault list by up to 30%
• Increases safety verification performance

Fault Simulation with Xcelium Safety

• Leverages Cadence’s leading native serial and concurrent fault simulation technologies to drive the highest performing safety analysis available
• Machine learning algorithms, coupled with the formal-based flow, dramatically accelerates the overall FMEDA throughput

Fault emulation with Palladium Safety

• Accelerated HW-based fault simulation (parallelization)
  • Capacity: enables run on full SoC
  • Performance: enables run on SW stack or STLs to confirm for behavior correctness
• Automates Palladium Safety serial flow
• Tightly integrated with Cadence functional safety flow

Automate Analog / Mixed-Signal Functional Safety

• The Safety solution integrates Spectre^® Simulation Platform and Legato™ Reliability Solution
• Automates launching of analog and mixed-signal fault simulations for different failure modes
• Generates functional safety diagnostic coverage reports with annotation back into the Midas Safety Platform, accelerating functional safety closure

Automated Safety Mechanism Insertion, Optimization, and Verification

• The Safety Solution integrates Genus Synthesis, Innovus Implementation and Conformal Equivalence Checker
• Guides the insertion of safety mechanisms, such as triple modular redundancy and dual-core lock-step safety islands
• Allows customers to achieve and validate safety requirements