FormalPro utilise des techniques de vérification formelle statiques pour prouver qu'un design est fonctionnellement identique à sa référence dorée. C'est beaucoup plus rapide que la simulation traditionnelle au niveau des portes. 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'un design est identique sur le plan fonctionnel : comparez RTL à Gate Netlist pour la synthèse, ou des netlists Gate à Gate pour les mises en page. Utilisez un seul outil et un seul flux pour tous vos designs.
Vérification rapide de plusieurs millions de modèles de portes et réduction spectaculaire du temps de vérification à l'aide de techniques de vérification formelles statiques. Le moyen le plus rapide pour corriger le design grâce à un outil de débogage complet qui identifie l'emplacement et la cause des erreurs et à la fonction unique « et si » permettant d'étudier les modifications de conception lors de la session de vérification existante.
Participez à la discussion sur les nouveaux sujets, les fonctionnalités, le contenu et les experts techniques.
Accédez à des notes détaillées sur les applications utilisateur, à des ressources de formation et plus encore.
Vous aider à obtenir un impact commercial maximal en relevant des défis technologiques et commerciaux complexes grâce à une combinaison unique d'expérience en matière de développement et de conception et d'expertise méthodologique.
