Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. equ-iitg formal equivalence checker

equ-iitg formal equivalence checker 1.2

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 2.4/5 - ‎8 ‎Votes
Télécharger

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.

historique de la version

  • Version equiitg_1.2%20beta posté sur 2009-07-02
    Plusieurs correctifs et mises à jour
  • Version equiitg_1.2 beta posté sur 2009-07-02

Détails du programme

Programmes connexes

  • ArmedBear / J Gratuit

    ArmedBear (ABCL) est un Lisp commun écrit en Java. Son compilateur produit du code d’au-fait JVM, puisant dans la philosophie « écrire une fois, courir partout » de Java. J est un éditeur de texte écrit en Java avec par exemp

  • Integrated PearPC GUI Gratuit

    IPG est l’interface graphique PearPC intégrée, qui vous permet de configurer et d’exécuter l’émulateur PearPC dans une interface graphique basée sur Windows.

  • wxWindows Project Manager for VC7 Gratuit

    Un ensemble d’outils pour simplifier l’utilisation de wxWindows avec Visual C++ 7.

  • flam3 editor Gratuit

    Flam3 Editor est construit autour du pack logiciel flam3 traditionnel. L’éditeur vous permet de charger, modifier et enregistrer les flammes fractales récursives cosmiques, comme les fichiers de moutons électriques ou d’apoph

  • InvisiBright Free Essai gratuit

    **Si vous aimez cette application, s’il vous plaît envisager d’essayer la version Pro :) **InvisiBright est un utilitaire invisible d’ajustement de luminosité. Ajustez de l’intérieur n’importe quelle application en faisan

  • serverM - a powerful host-based IDS Gratuit

    serverM est un système de détection d’intrusion basé sur l’hôte basé sur la signature extrêmement flexible (HIDS). Fonctionnant comme un démon Perl, il utilise peu de Processeur, et est capable de détecter un large éventail d

  • Eclipse SpringIDE Extensions Gratuit

    Extensions pour le projet SpringIDE (voir springide-éclip et springframework).Comprend actuellement : classe (déplacer/renommer) et méthode (renommer) les participants refactorisants, le support de recherche et les contribu

  • Generic Entity Manager Gratuit

    Un gestionnaire d’entité de jeu générique écrit en C++ avec des liaisons Lua. Dans les premières étapes atm. Game Entity System - Actuellement à la recherche de membres de projet supplémentaires.

  • ajaxnet4j Gratuit

    ajaxnet4j est une implémentation Java de la célèbre bibliothèque Ajax.NET Professional. Avec l’aide de celui-ci, vous pouvez vous concentrer sur les logiques d’entreprise côté serveur, et les expériences utilisateur côté clie

  • NSketch, .Net sketch-based algorithms Gratuit

    La bibliothèque NSketch fournit des implémentations des algorithmes basés sur des croquis les plus courants (histogrammes, quantiles, objets fréquents, filtre de floraison...). La bibliothèque est écrite en C# pour .Net.