Cadence Design Systems, Inc. a annoncé la plate-forme de vérification Cadence® Verisium׫ ; Artificial Intelligence (AI) -Driven Verification Platform, une suite d'applications tirant parti du big data et de l'AI pour optimiser les charges de travail de vérification, augmenter la couverture et accélérer l'analyse des causes profondes des bogues. La plateforme Verisium est construite sur la nouvelle plateforme Cadence Joint Enterprise Data and AI (JedAI) et est intégrée nativement aux moteurs de vérification Cadence. Alors que la complexité des SoC ne cesse d'augmenter, la vérification est devenue un chemin critique pour le temps de mise sur le marché des systèmes, consommant souvent beaucoup plus de ressources informatiques et humaines que toute autre tâche d'ingénierie du silicium.

La sortie de la plateforme Verisium représente un changement de génération, passant des algorithmes à exécution unique et à moteur unique dans l'automatisation de la conception électronique (EDA) à des algorithmes qui exploitent le big data et l'IA pour optimiser plusieurs exécutions de plusieurs moteurs sur l'ensemble d'une campagne de conception et de vérification de SoC. En déployant la plateforme Verisium, toutes les données de vérification, y compris les formes d'onde, la couverture, les rapports et les fichiers journaux, sont rassemblées dans la plateforme Cadence JedAI. Des modèles d'apprentissage automatique (ML) sont construits et d'autres métriques propriétaires sont extraites de ces données pour permettre une nouvelle classe d'outils qui améliorent considérablement la productivité de la vérification.

Grâce à la plate-forme Cadence JedAI, Cadence est en mesure d'unifier ses innovations logicielles en matière de données et d'IA, de la vérification Verisium pilotée par l'IA à l'implémentation pilotée par l'IA de Cadence Cerebrus™ ; Intelligent Chip Explorer et à l'analyse de système pilotée par l'IA d'Optimality™ ; Intelligent System Explorer. La suite initiale d'applications disponibles dans la plateforme Verisium est la suivante : Verisium AutoTriage : Construit des modèles ML qui aident à automatiser la tâche répétitive de triage des échecs de régression en prédisant et en classant les échecs de test avec des causes profondes communes. Verisium SemanticDiff : Fournit une solution algorithmique pour comparer plusieurs révisions du code source d'une IP ou d'un SoC, classifier ces révisions et classer les mises à jour les plus disruptives pour le comportement du système afin d'aider à identifier les points chauds potentiels des bogues.

Verisium WaveMiner : Applique de puissants moteurs d'IA pour analyser les formes d'onde de plusieurs exécutions et déterminer quels signaux, à quels moments, sont les plus susceptibles de représenter la cause première de l'échec d'un test. Verisium PinDown : S'intègre à la plate-forme JedAI de Cadence et aux systèmes de contrôle de révision standard de l'industrie pour construire des modèles ML des changements de code source, des rapports de test et des fichiers journaux afin de prédire quels contrôles de code source sont les plus susceptibles d'avoir introduit des échecs. Verisium Debug : Offre une solution de débogage holistique de l'IP au SoC et de l'exécution unique à l'exécution multiple, proposant des flux de débogage interactifs et post-processus rapides et complets avec les technologies de forme d'onde, de schéma, de traçage des pilotes et SmartLog.

Verisium Debug est intégré nativement à la plate-forme Cadence JedAI et à d'autres applications Verisium pour permettre une analyse des causes profondes pilotée par l'IA avec la prise en charge de la comparaison automatique simultanée des tests réussis et échoués. Verisium Manager : Apporte la solution de gestion de la vérification au niveau de l'IP et du SoC à flux complet de Cadence avec planification de la vérification, planification des tâches et couverture multi-moteurs en natif sur la plateforme Cadence JedAI et l'étend pour prendre en charge l'optimisation des suites de tests pilotée par l'IA afin d'améliorer l'efficacité des fermes de calcul. Verisium Manager s'intègre également directement à d'autres applications Verisium, permettant un déploiement interactif par bouton poussoir de la plateforme Verisium complète à partir d'une console de gestion unifiée basée sur un navigateur.

La plate-forme de vérification Verisium AI-Driven fait partie du flux complet de vérification de Cadence, qui comprend l'émulation Palladium® Z2, le prototypage Protium™ ; X2, la simulation Xcelium™ ;, la plate-forme de vérification formelle Jasper™ ; et le studio virtuel et hybride Helium™ ;. Le flux complet de vérification de Cadence offre le débit de vérification le plus élevé de bogues trouvés et de causes profondes par dollar investi par jour d'exécution du projet. La plate-forme Verisium et le flux complet de vérification soutiennent la stratégie Intelligent System Design׫ ; de l'entreprise, permettant l'excellence de la conception de SoC.