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 beaucoup 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'un design est identique sur le plan fonctionnel : comparez RTL à une liste réseau de portes pour la synthèse, ou des listes réseau de porte à porte pour les rotations de mise en page. Utilisez un seul outil et un seul flux pour toutes vos conceptions.
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. La solution la plus rapide pour corriger la conception grâce à un outil de débogage complet qui identifie l'emplacement et la cause des erreurs et à la fonctionnalité unique « hypothétique » permettant d'étudier les modifications de conception au cours de la session de vérification existante.
Participez à la discussion sur de nouveaux sujets, fonctionnalités, contenus et experts techniques.
Accédez à des notes d'application utilisateur détaillées, à des ressources de formation et plus encore.
Nous vous aidons à 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.
