Obtention d'une fermeture plus rapide de la vérification de la conception

Sur les grands projets de conception de puces, l'effort de vérification logique peut être plus important que l'effort de conception, prenant jusqu'à 70 % du temps du projet sur la base des données du Groupe de recherche Wilson 2022 résultats. Malheureusement, le premier taux de réussite du silicium est passé de 31 % à seulement 24 % au cours des 8 dernières années, ce qui a provoqué une autre rotation pour corriger les défauts, coûtant aux entreprises du temps perdu sur le marché et nuisant certainement à leurs plans de revenus. Une meilleure vérification améliorerait certainement le succès du premier silicium, mais c'est plus facile à dire qu'à faire.

Quelques autres chiffres qui donnent à réfléchir de l'étude du Wilson Research Group :

• ASIC - 24 % de succès du premier coup, 36 % de finition à temps
• FPGA – 16 % n'échappent à aucun bogue, 30 % terminent à temps

La vérification de la conception comporte de nombreuses tâches difficiles : débogage, création de tests puis exécution de moteurs, développement de bancs d'essai et planification des tests. Idéalement, votre équipe souhaite minimiser les délais d'exécution, atteindre la clôture de la vérification avec le moins de personnes et de ressources informatiques, respecter la conformité en matière de sécurité et savoir quand la qualité de la conception est suffisamment élevée pour arrêter la vérification, tout en respectant le calendrier du projet.

J'ai récemment reçu une mise à jour de l'expert en vérification de conception Darron May chez Siemens EDA pour entendre parler de quelque chose qui vient d'être annoncé, appelé QI de vérification Questa. Leur approche est axée sur la vérification basée sur les données, formée autour de l'utilisation de la traçabilité, de la collaboration et de l'analyse alimentée par l'IA/ML. L'analytique traditionnelle offrait une productivité limitée et un aperçu de la simple description et du diagnostic du comportement logique, tandis que l'analytique basée sur les mégadonnées utilisant l'IA/ML offre des actions prédictives et prescriptives pour la vérification. Les équipes logicielles et matérielles deviennent plus productives en collaborant grâce à l'utilisation de CI (Intégration continue), Agile Méthodes, ALM (Application Lifecycle Management), conception basée sur le cloud et application de techniques d'IA/ML. Les industries critiques pour la sécurité ont besoin d'une traçabilité entre les exigences, la mise en œuvre et la vérification, comme défini dans les normes de l'industrie comme ISO 26262 et DO-254.

Voici une vue d'ensemble de la manière dont Quest Verification IQ connecte toutes les données de divers moteurs de vérification dans un flux piloté par les données, ainsi qu'un outil ALM.

Les données de couverture sont recueillies à partir de la simulation logique (cette), émulation et prototypage (Veloce), MMA (Symphony), Officiel (Un tour), Statique et FuSa. La fonctionnalité ML analyse toutes ces données afin de prédire les modèles et de révéler les trous, de signaler les causes profondes, puis de prescrire des actions pour améliorer la couverture. L'ALM affiché est Polarité de Siemens, bien que vous puissiez utiliser un autre ALM, tout comme vous pouvez utiliser vos moteurs de vérification préférés.

Questa Verification IQ est une infrastructure basée sur un navigateur qui comprend un guide de processus afin que vous puissiez créer un flux critique de sécurité en utilisant la gestion du cycle de vie pour planifier et suivre toutes les exigences. Le navigateur de régression permet à votre équipe de créer et d'exécuter des tests, de surveiller les résultats et de disposer d'un historique de vérification complet. Avec l'analyseur de couverture, vous savez à quel point votre couverture est complète pour le code, les blocs fonctionnels et les plans de test. Enfin, les analyses de données présentées vous fournissent une plate-forme de métriques, utilisant des tableaux de bord de projet et fournissant des analyses croisées.

Le cadre basé sur le Web s'adapte à n'importe quelle taille de projet électronique, et vous n'aurez pas à installer de logiciel ni à vous soucier de la mise à jour de votre système d'exploitation. Il prend également en charge les configurations de cloud public, privé ou hybride. Avec l'application de l'IA/ML, le processus de clôture de la vérification est accéléré, tandis que l'effort de débogage s'accélère à mesure que l'analyse des causes profondes aide à identifier les points à améliorer.

J'ai posé à Darron May quelques questions de clarification.

Q : Puis-je mélanger et assortir Questa Verification IQ avec n'importe quel outil de fournisseur EDA et ALM ?

A: Questa Verification IQ prend en charge les outils et les moteurs ALM via une approche basée sur des normes. Il s'interface avec les outils ALM utilisant Open Services for Lifecycle Collaboration (OSLC) afin que tout outil prenant en charge la norme comme Doors next ou Siemens Polarion et Teamcenter puisse être utilisé. N'importe quel moteur peut être lancé par Questa Verification IQ et encore une fois, nous avons un support pour la couverture via la norme d'interopérabilité de couverture unifiée (UCIS).

Q : Comment cette approche se compare-t-elle à Synopsys DesignDash ?

A: Synopsys DesignDash se concentre sur le ML pour les données de conception, tandis que Questa Verification IQ se concentre sur la vérification basée sur les données à l'aide d'analyses, y compris le ML, pour accélérer la clôture de la vérification, réduire les délais d'exécution et fournir une efficacité maximale des processus. Questa Verification IQ fournit les applications nécessaires à la gestion collaborative de la vérification en équipe dans un cadre basé sur un navigateur avec un accès centralisé aux données.

Q : Comment cette approche se compare-t-elle à Cadence Verisium ?

A: Cadence Verisium se concentre uniquement sur la vérification assistée par ML. En comparaison, Siemens Questa Verification IQ fournit une solution complète de vérification basée sur les données, alimentée par l'analyse, la collaboration et la traçabilité. La gestion de la vérification est fournie dans un outil basé sur un navigateur avec des applications construites autour de la collaboration. Coverage Analyzer apporte le premier outil de clôture de couverture collaboratif du secteur utilisant la navigation analytique assistée par ML. Question Verification IQ s'interface avec Siemens Polarion à l'aide d'OSLC et fournit une traçabilité numérique étroite des threads avec la gestion du cycle de vie des applications sans changement de contexte d'interface utilisateur, apportant la puissance d'ALM à la vérification du matériel.

Résumé

Je suis toujours impressionné par les nouveaux outils EDA qui facilitent une tâche complexe en travaillant plus intelligemment, sans obliger les ingénieurs à consacrer plus d'heures d'efforts manuels. Avec les premières approbations de Questa Verification IQ par des sociétés familières comme Arm et Nordic Semiconductor, il semble que Siemens EDA ait ajouté quelque chose de convaincant pour les équipes de vérification.

Blogs connexes

Partagez cet article via:

• Contenu propulsé par le référencement et distribution de relations publiques. Soyez amplifié aujourd'hui.
• Platoblockchain. Intelligence métaverse Web3. Connaissance Amplifiée. Accéder ici.
• La source: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/