equ-iitg formal equivalence checker 1.2
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 2.4/5 - 8 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur equ-iitg formal equivalence checker
Il s’agit d’un outil formel de vérification de l’équivalence développé @ IIT Guwahati qui peut être utilisé pour vérifier l’équivalence fonctionnelle entre les circuits (combinés et séquentiels) des formats BLIF, verilog et EDIF.