Cette solution de pointe intègre la technologie et l'intelligence artificielle pour permettre aux ingénieurs de gagner en rapidité, d'améliorer l'efficacité des moteurs et de réduire la charge de travail. Cette plateforme avancée tient ses promesses en matière de vérification statique et formelle, en répondant aux défis de nouvelle génération en matière d'environnements de vérification.
Questa One SFV surmonte les obstacles statiques et formels à l'adoption grâce à des performances évolutives, à un partitionnement automatique pour les analyses et à l'accès à un large éventail d'analyses sans stimulus. Il permet une utilisation complète, un accès complet et une intégration fluide des nouvelles solutions, Assist AI facilitant l'apprentissage.
Plateforme unifiée intégrant des analyses sans stimulus dans un seul environnement. Consolide les résultats, génère des rapports pertinents et révèle les liens entre les problèmes rencontrés lors des tâches de vérification, pour une conception complète et des informations sur la qualité
Maximisez le retour sur investissement grâce à des moteurs d'emprunt dynamiques et à une orchestration intelligente. Fusion of Optimal Solvers gère plusieurs instances par tâche de vérification, avec une allocation intelligente des ressources qui garantit que les moteurs formels ne restent jamais inactifs.
Le partitionnement automatique accélère les analyses en réduisant judicieusement la portée là où l'abstraction traditionnelle échoue. La technologie de décomposition intelligente permet de gagner en performances jusqu'à 10 fois, ce qui rend la vérification formelle pratique pour les conceptions complexes.
Questa One SFV améliore les flux de travail grâce à une intégration de conception unifiée, en prenant en charge l'importation de données provenant de sources multiples et en proposant des outils complets d'analyse et de génération d'informations. Son interface est adaptée à des tâches spécifiques, rationalisant ainsi les processus de vérification. La plateforme favorise la collaboration grâce à des fonctionnalités multi-utilisateurs et multisites, garantissant ainsi une exécution fluide des tâches et un débogage entre les équipes et les sites.
Siemens EDA propose un support client de premier ordre pour Questa One SFV et tous nos produits.
Verification Academy fournit les compétences nécessaires pour développer les capacités fonctionnelles des processus de vérification d'une organisation, en jetant un pont méthodologique entre les propositions de valeur de haut niveau et les détails de bas niveau.
Pour vous aider à comprendre les technologies avancées de vérification fonctionnelle et la manière de les appliquer le plus efficacement possible, rendez-vous sur notre blog pour obtenir des informations et des mises à jour sur les concepts, les valeurs, les normes, les méthodologies et des exemples.
