Il s'agit de l'application Linux nommée equ-iitg formal equivalence checker dont la dernière version peut être téléchargée en tant queVerified_benchmarks_1.2.tar.gz. Il peut être exécuté en ligne dans le fournisseur d'hébergement gratuit OnWorks pour les postes de travail.
Téléchargez et exécutez en ligne gratuitement cette application nommée vérificateur d'équivalence formelle equ-iitg avec OnWorks.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web.
- 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application, installez-la et exécutez-la.
vérificateur d'équivalence formelle equ-iitg
Ad
DESCRIPTION
Il s'agit d'un outil de vérification d'équivalence formelle développé à l'IIT Guwahati qui peut être utilisé pour vérifier l'équivalence fonctionnelle entre les circuits (combinatoires et séquentiels) des formats BLIF, verilog et EDIF.
Langage de programmation
C
Il s'agit d'une application qui peut également être récupérée à partir de https://sourceforge.net/projects/equiitg/. Il a été hébergé dans OnWorks afin d'être exécuté en ligne de la manière la plus simple à partir de l'un de nos systèmes d'exploitation gratuits.
