FormalPro utilise des techniques de vérification formelle statique pour prouver qu'un design est fonctionnellement identique à sa référence dorée. C'est des ordres de grandeur plus rapide que la simulation traditionnelle au niveau de la porte - les conceptions qui prennent des jours ou des semaines peuvent être vérifiées en quelques heures, voire quelques minutes à l'aide de FormalPro.
Prouvez rapidement qu'une conception est fonctionnellement identique - comparez RTL à gate netlist pour la synthèse, netlists porte à porte pour les spins de mise en page. Utilisez un seul outil et un seul flux pour toutes vos conceptions.
Vérification rapide des conceptions de portes de plusieurs millions et réduction spectaculaire du temps de vérification à l'aide de techniques de vérification formelles statiques. La voie la plus rapide pour corriger la conception avec un outil de débogage complet qui identifie l'emplacement/la cause des erreurs et la capacité unique « et si » pour étudier les modifications de conception au cours de la session de vérification existante.
Rejoignez la discussion sur les nouveaux sujets, les fonctionnalités, le contenu et les experts techniques.
Accédez aux notes détaillées sur les applications utilisateur, aux ressources de formation et plus encore.
Vous aider à obtenir un impact commercial maximal en répondant à des défis complexes en matière de technologie et d'entreprise grâce à un mélange unique d'expérience en développement et de conception et d'expertise méthodologique.
