Veiligheidsoplossing versnelt certificering van auto- en industriële ontwerpen

De Cadence Safety Solution is een nieuw aanbod dat zich richt op veiligheidskritieke toepassingen en beschikt over geïntegreerde analoge en digitale veiligheidsstromen en motoren voor snellere ISO 26262- en IEC 61508-certificering.

De Safety Solution is ontwikkeld om de automatisering en productiviteit te verbeteren die samenhangen met het voldoen aan functionele veiligheidsnormen, zoals ISO 26262, en biedt nieuwe verificatietools, waaronder het Midas Safety Platform, vManager Safety Manager en Xcelium Safety Simulator.

Daarnaast bestaat de veiligheidsoplossing ook uit bestaande verificatie-, ontwerp-, analoge en digitale tools, waaronder de Cadans Jasper Functional Safety Verification (FSV) App, Legato Reliability Solution, Spectre Simulation Platform, Genus Synthesis Solution, Innovus Implementation System, Modus DFT Software Solution en Conformal Equivalence Checker.

"Halfgeleider De ontwikkeling voor toepassingen in de automobielsector brengt een groot aantal uitdagingen met zich mee die de hele toeleveringsketen moet aanpakken, waaronder strenge veiligheidscertificeringen die nodig zijn om naleving van de ISO 26262-norm te bereiken”, aldus Paul Cunningham, corporate VP en GM van de System & Verification Group bij Cadans.

De Cadence Safety Solution omvat stromen en motoren die zijn verbeterd voor geavanceerd veiligheidsontwerp en -verificatie en omvat:

• FMEDA-beheer: het nieuwe Midas-veiligheidsplatform biedt een vroege verkenning van functionele veiligheidsarchitecturen en maakt gebruik van native chipontwerpgegevens om nauwkeurige veiligheidsanalyses efficiënt uit te voeren. Het platform is een uniforme oplossing die overal beschikbaar is Cadence-producten, en met zijn modulaire architectuur, ondersteunen zowel embedded als standalone gebruik met de Cadans stromen.
• Foutsimulatie: de nieuwe Xcelium Safety Simulator maakt gebruik van Cadence's native seriële en gelijktijdige foutsimulatietechnologieën om de best presterende veiligheidsanalyse mogelijk te maken. De machine learning-algoritmen van de simulator, in combinatie met de formeel gebaseerde stroom, versnellen de algehele verificatiedoorvoer aanzienlijk.
• Foutcampagnebeheer: de nieuwe vManager Safety Manager biedt functioneel en veiligheidsverificatiebeheer geïntegreerd in één uniform systeem voor verificatiecampagnebeheer voor alle Cadans motoren. Klanten kunnen een 3x kortere doorlooptijd ervaren voor veiligheidsverificatiecampagnes door gebruik te maken van vManager Safety Manager om foutdekking te orkestreren in de Jasper FSV-app en Xcelium Safety Simulator. Het vManager Verification Management-platform biedt klanten ook verbindingen om traceerbaarheid van vereisten mogelijk te maken, terwijl vManager Safety Manager de veiligheidsverificatie in zowel analoge als digitale domeinen afhandelt en de rapportage voor vereiste veiligheidsdocumentatie automatiseert.
• Formele verificatie: de Jasper FSV-app past toonaangevende formele technieken toe voor foutanalyse, waardoor een simulatiefoutlijst met maximaal 30% wordt verminderd, waardoor de veiligheidsverificatieprestaties toenemen.
• Geautomatiseerde analoge functionele veiligheid: de veiligheidsoplossing integreert het Spectre Simulation Platform en de Legato Reliability Solution om het automatisch starten van analoge en mixed-signal foutsimulaties voor verschillende storingsmodi mogelijk te maken en het genereren van diagnostische dekkingsrapporten voor functionele veiligheid met een annotatie terug in de Midas Safety Platform, versnellende functionele veiligheidssluiting.
• Geautomatiseerde invoeging, optimalisatie en verificatie van veiligheidsmechanismen: de veiligheidsoplossing integreert de Genus Synthesis-oplossing, het Innovus-implementatiesysteem en de conforme equivalentiecontrole om de invoeging van veiligheidsmechanismen, zoals drievoudige modulaire redundantie en dual-core lock-step veiligheidseilanden, te begeleiden in de implementatiestroom, waardoor klanten aan veiligheidseisen kunnen voldoen en tegelijkertijd kunnen worden geoptimaliseerd voor stroom-, prestatie- en gebiedsdoelstellingen.