Electronique Mag - Le journal de l'électronique.

Les flots de sécurité permettent aux entreprises des secteurs de l’automobile, de l’industrie et de l’aéronautique d’accéder à des capacités intégrées d’analyse de la sécurité, de gestion des campagnes d’injection de défauts et des moyens d’exécution.

Cette nouvelle solution embarque des moteurs de vérification perfectionnés par Cadence pour procéder à une vérification complète, conformément aux normes ISO 26262 et CEI 61508.

Cadence Design Systems, Inc. annonce sous l’appellation Cadence® Safety Solution une nouvelle offre qui cible les applications critiques pour la sécurité, se caractérise par des moteurs et des flots de sécurité analogiques et numériques intégrés, et accélère la certification aux normes ISO 26262 et CEI 61508. Enrichie d’une nouvelle capacité d’analyse FMEDA (Failure Modes, Effects and Diagnostics Analysis) baptisée Cadence Midas™ Safety Platform, cette solution permet aux utilisateurs de procéder à des vérifications analogiques et numériques basées sur l’analyse FMEDA, de circuits intégrés critiques pour la sécurité et utilisés dans les applications avancées d’électronique automobile, industrielle et aéronautique.

À l’heure où les progrès de la technologie électronique propulsent les secteurs de l’automobile, de l’industrie et de l’aéronautique vers un avenir placé sous le sceau de la connectivité et de l’autonomie, il est indispensable de concevoir des semiconducteurs conformes aux normes de sécurité en vigueur. Développée pour améliorer les niveaux d’automatisation, de confiance et de productivité que requiert la conformité aux normes de sécurité fonctionnelle telles qu’ISO 26262, la nouvelle Cadence Safety Solution dispose de nouveaux outils de vérification, parmi lesquels la plateforme Midas Safety Platform, le gestionnaire de sécurité vManager™ Safety Manager et le simulateur, Xcelium™ Safety Simulator. En outre, cette nouvelle solution est architecturée autour d’outils de vérification et de conception analogiques et numériques déjà proposés par Cadence, à savoir l’application Cadence Jasper™ Functional Safety Verification (FSV), la solution de contrôle de la fiabilité Legato™ Reliability, la plateforme Spectre® Simulation, la solution de synthèse Genus™ Synthesis, le système Innovus™ Implementation, le logiciel de test Modus DFT (Design For Test) et le vérificateur d’équivalences Conformal® Equivalence Checker.

La Cadence Safety Solution comprend des moteurs et des flots perfectionnés pour optimiser la conception et la vérification de circuits intégrés conformément aux normes de sécurité applicables. Elle se compose comme suit :

 Gestion de l’analyse FMEDA : la nouvelle plateforme Midas Safety permet l’exploration précoce des architectures de sécurité fonctionnelle et exploite les données de conception natives des circuits intégrés dans le but de procéder à une analyse précise et efficace du niveau de sécurité. Cette solution unifiée est disponible pour tous les produits Cadence ; de plus, son architecture modulaire permet de l’utiliser de façon autonome ou embarquée en association avec les flots Cadence.

 Simulation de défauts : le nouveau simulateur de sécurité Xcelium s’appuie sur les technologies natives de Cadence en matière de simulation de défauts en série et simultanée dans le but d’obtenir les analyses de sécurité les plus performantes possible. Associés au flot de vérification formelle, les algorithmes d’apprentissage automatique (ML) intégrés au simulateur accélèrent sensiblement le débit de vérification global.

 Gestion des campagnes d’injection de défauts : le nouvel outil vManager Safety Manager intègre des capacités de gestion des vérifications fonctionnelle et de sécurité au sein d’un système unifié de gestion des campagnes de vérification, tous moteurs Cadence confondus. Les clients peuvent diviser par trois la durée des campagnes de vérification de la sécurité en s’appuyant sur l’outil vManager Safety Manager pour orchestrer la couverture des défauts dans l’application Jasper FSV et le simulateur de sécurité Xcelium. Par ailleurs, la plateforme vManager Verification Management propose aux clients des connexions permettant de tracer les exigences, tandis que l’outil vManager Safety Manager prend en charge la vérification de la sécurité dans les domaines analogique et numérique, tout en automatisant la génération des rapports pour la documentation de sécurité requise.

 Vérification formelle : l’application Jasper FSV applique des techniques de vérification formelle avancées pour analyser les défauts, ce qui réduit de près d’un tiers la liste de simulation des défauts et accroît les performances de la vérification de la sécurité.

 Automatisation de la sécurité fonctionnelle analogique : en intégrant la plateforme Spectre Simulation et la solution Legato Reliability, la Security Solution de Cadence peut lancer automatiquement la simulation simulation de défauts analogiques et en signaux mixtes pour différents modes de défaillance, ainsi que générer des rapports de diagnostic de sécurité fonctionnelle avec annotation dans la plateforme de sécurité Midas, ce qui accélère la clôture de la sécurité fonctionnelle.

 Automatisation de l’insertion, de l’optimisation et de la vérification des mécanismes de sécurité : la Safety Solution de Cadence intègre la solution de synthèse Genus Synthesis, la plateforme Innovus Implementation System et le vérificateur d’équivalences Conformal® Equivalence Checker pour guider l’insertion de mécanismes de sécurité, tels que la triple redondance modulaire ou les îlots de sécurité bicoeur dans le flot d’implémentation ; les clients peuvent ainsi répondre aux exigences de sécurité tout en optimisant leurs objectifs de consommation, performances et surface (PPA).

La Cadence Safety Solution s’inscrit dans le cadre de la stratégie Intelligent System Design™, dont la vocation est d’aider les clients de Cadence à atteindre l’excellence dans la conception de systèmes sur puce (SoC) grâce à des outils et des flots de haute performance.

https://www.cadence.com/