Questa One

En tant que première personne à influencer la solution de vérification intelligente Questa One de Siemens, MediaTek a déjà réussi à augmenter la productivité de ses ingénieurs tout au long du processus de vérification en utilisant à la fois des technologies de vérification formelle et de simulation. Questa One Property Assist utilise l'IA générative pour nous faire gagner des semaines d'ingénierie, et Questa One Regression Navigator prédit les tests de simulation les plus susceptibles d'échouer, les exécute en premier et permet de gagner des jours de régression et de débogage.

La complexité croissante de la conception et de la vérification des puces modernes nécessite une nouvelle génération de flux de travail intelligents et agentiques capables de résoudre des tâches complexes tout en maintenant les plus hauts niveaux de précision. En s'appuyant sur les modèles de raisonnement NVIDIA NIM et Nemotron, Siemens fournit aux ingénieurs une base puissante basée sur l'IA pour accélérer le développement des systèmes électroniques les plus avancés au monde

Les gains de productivité réalisés grâce à la boîte à outils Questa One Agentic ont été à la fois immédiats et significatifs. Nos ingénieurs ont pu devenir compétents en quelques heures, malgré une exposition préalable limitée à l'outil, en accomplissant des tâches qui prennent généralement des jours et en maîtrisant des flux de travail qui demandaient généralement des semaines de formation. En combinaison avec la méthodologie de vérification interne avancée existante de MediaTek, la boîte à outils a non seulement comblé le déficit de connaissances, mais a fondamentalement accéléré nos processus opérationnels

Combinant IA et vérification, Questa One a permis à notre équipe d'adopter rapidement une vérification formelle complète des propriétés et de corriger automatiquement les problèmes. Grâce à l'Agentic Toolkit, nous tirons parti de ces fonctionnalités au moment optimal de notre flux de développement.