Questa One

En tant qu'influenceur précoce sur Siemens Questa One Smart Verification Solution, MediaTek a déjà été en mesure d'augmenter la productivité de nos 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 de temps d'ingénierie, et Questa One Regression Navigator prédit quels tests de simulation sont les plus susceptibles d'échouer, les exécute en premier et économise des jours de régression et de débogage.

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

Les gains de productivité fournis par la boîte à outils Agentic Questa One 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 effectuant des tâches qui nécessitent généralement des jours et en maîtrisant les flux de travail qui nécessiteraient généralement des semaines de training. En combinaison avec la méthodologie de vérification interne avancée existante de MediaTek, la boîte à outils a non seulement comblé le manque de connaissances, mais a fondamentalement accéléré nos processus opérationnels

Combinant l'IA et la vérification, Questa One a permis à notre équipe d'adopter rapidement la vérification formelle complète des biens et les problèmes de correction automatique. Avec l'Agentic Toolkit, nous tirons parti de ces capacités au point optimal de notre flux de développement.