FormalPro utilise des techniques statiques de vérification formelle pour prouver qu'une conception 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 identique sur le plan fonctionnel - comparez RTL à gate netlist pour la synthèse, listes de 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 de la conception de plusieurs millions de portes et réduction considérable du temps de vérification à l'aide de techniques de vérification formelles statiques. La voie la plus rapide pour corriger la conception grâce à un outil de débogage complet qui identifie l'emplacement ou la cause des erreurs et la capacité unique « et si » d'étudier les modifications de conception au cours de la session de vérification existante.
Participez à la discussion sur de nouveaux sujets, fonctionnalités, contenu et 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 abordant les défis complexes liés à la technologie et à l'entreprise grâce à un mélange unique d'expérience en développement et en conception et d'expertise méthodologique.
