electronique-news.com
02
'26
Written on Modified on
Siemens ajoute une IA agentique à la vérification des puces
De nouveaux workflows automatisent les contrôles RTL, le débogage et la planification tout en restant compatibles avec les environnements EDA existants et les infrastructures cloud.
www.sw.siemens.com
La complexité croissante des circuits, liée aux chiplets, à l’intégration 3D et aux fonctions définies par logiciel, augmente l’effort de vérification pour les équipes de conception de semi-conducteurs. Siemens a présenté le Questa One Agentic Toolkit, étendant son logiciel de vérification Questa™ One avec des workflows autonomes pilotés par IA pour la conception et la vérification de circuits intégrés.
Réduire l’écart de productivité en vérification
Dans les projets de semi-conducteurs avancés — processeurs automobiles, contrôleurs industriels ou SoC de communication — la vérification représente une part croissante du temps de développement. Le toolkit introduit une IA agentique spécifique au domaine : des agents logiciels planifient et exécutent les tâches dans des limites de gouvernance définies par l’utilisateur, tout en laissant aux ingénieurs le contrôle des décisions d’approbation.
Le système automatise la création, l’exécution et le dépannage de la vérification au niveau Register Transfer Level (RTL). Au lieu d’outils séparés réalisant des étapes isolées, les workflows coordonnent planification, contrôle et débogage afin d’atteindre plus fiablement les phases de validation dans un processus d’ingénierie numérique.
Fonctionnement dans les environnements existants
Le framework s’intègre au système Fuse™ EDA AI et reste compatible avec d’autres plateformes d’agents via des interfaces standardisées. Les ingénieurs peuvent l’utiliser via la ligne de commande ou dans des environnements de développement tels que VS Code, aux côtés d’assistants de programmation IA comme GitHub Copilot, Claude Code, Cursor et Cline.
L’architecture relie plusieurs moteurs de vérification Siemens, notamment Questa One Verification IQ, Questa One SFV, Questa One Sim, le logiciel DFT Tessent™ et la plateforme de vérification matérielle Veloce™ CS. Les Model Context Protocols (MCPs) exposent les données d’état de vérification en temps réel, permettant aux agents IA de suivre les relations entre spécifications, testbenches et couverture.
Rôle des différents agents
Le toolkit comprend plusieurs agents spécialisés couvrant différentes étapes de la vérification:
- L’agent RTL Code génère du code RTL synthétisable à partir de descriptions en langage naturel et vérifie la conformité aux règles avant revue.
- L’agent lint analyse le code existant et propose des corrections ou des voies d’approbation.
- L’agent CDC configure et évalue la vérification des passages entre domaines d’horloge pour la logique asynchrone.
- L’agent Verification Planning élabore des plans de vérification à partir des spécifications et définit des scénarios de test.
- L’agent debug corrèle formes d’onde, assertions et journaux pour identifier des causes probables de défaillance et proposer des tests ciblés.
Ces agents peuvent décomposer les objectifs de vérification, adapter les stratégies au fil des exécutions et accumuler les connaissances du projet pendant que les ingénieurs valident les décisions clés.
Vers des systèmes de grande échelle
L’approche prend en charge le développement évolutif de semi-conducteurs, où plusieurs sous-systèmes sont vérifiés simultanément, notamment dans l’électronique automobile et le calcul haute performance. Les mises à jour continues et la coordination automatisée assurent la cohérence dans des environnements de développement distribués typiques d’un écosystème de conception silicium basé sur le cloud.
Le toolkit utilise des modèles de raisonnement basés sur NVIDIA NIM et NVIDIA Llama Nemotron et intègre des bibliothèques de prompts élaborées par des experts du domaine.
www.siemens.com
Vers des systèmes de grande échelle
L’approche prend en charge le développement évolutif de semi-conducteurs, où plusieurs sous-systèmes sont vérifiés simultanément, notamment dans l’électronique automobile et le calcul haute performance. Les mises à jour continues et la coordination automatisée assurent la cohérence dans des environnements de développement distribués typiques d’un écosystème de conception silicium basé sur le cloud.
Le toolkit utilise des modèles de raisonnement basés sur NVIDIA NIM et NVIDIA Llama Nemotron et intègre des bibliothèques de prompts élaborées par des experts du domaine.
www.siemens.com
