Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. equ-iitg formal equivalence checker
  5. Download

equ-iitg formal equivalence checker 1.2

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 2.4/5 - ‎8 ‎Stemmen

Over equ-iitg formal equivalence checker

Dit is een formele equivalentie controle tool ontwikkeld @ IIT Guwahati die kan worden gebruikt om functionele gelijkwaardigheid tussen circuits (combinatie en sequentiële) van de formaten BLIF, verilog en EDIF te verifiëren.

Gerelateerde programma's

  • ArmedBear / J Gratis

    ArmedBear (ABCL) is een Gewone Lisp geschreven in Java. De compiler produceert JVM byte code, tikken in de 'schrijf een keer, overal lopen' filosofie van Java. J is een teksteditor geschreven in Java met bijvoorbeeld syntaxis

  • Integrated PearPC GUI Gratis

    IPG is de Integrated PearPC GUI, waarmee u de PearPC emulator configureren en uitvoeren in een Windows-gebaseerde GUI.

  • wxWindows Project Manager for VC7 Gratis

    Een set tools om het gebruik van wxWindows te vereenvoudigen met Visual C++ 7.

  • flam3 editor Gratis

    Flam3 Editor is gebouwd rond de traditionele flam3 software pack. De editor laat je kosmische recursieve fractale vlammen laden, bewerken en opslaan, zoals elektrische schapen of apophysis bestanden, het behandelt traditionel

  • InvisiBright Free Gratis proefperiode

    **Als je deze app leuk vindt, overweeg dan om de Pro-versie :) ** te proberen.InvisiBright is een onzichtbaar hulpprogramma voor het aanpassen van de helderheid. Pas vanuit elke toepassing aan door over het scherm te vege

  • serverM - a powerful host-based IDS Gratis

    serverM is een uiterst flexibel op handtekening gebaseerd host-based intrusion detection system (HIDS). Draait als een Perl daemon, het maakt gebruik van weinig CPU, en is in staat het opsporen van een breed scala van inbrake

  • Eclipse SpringIDE Extensions Gratis

    Uitbreidingen voor het SpringIDE project (zie springide-eclip en springframework).Momenteel omvat: Klasse (verplaatsen / hernoemen) en methode (hernoemen) refactoring deelnemers, zoekondersteuning en 'quick fix' bijdragen.

  • Generic Entity Manager Gratis

    Een generieke game entity manager geschreven in C++ met Lua bindingen. In een vroeg stadium atm. Game Entity System - Momenteel op zoek naar extra projectleden.

  • ajaxnet4j Gratis

    ajaxnet4j is een Java-implementatie van de beroemde Ajax.NET Professional bibliotheek. Met behulp van het, u zich concentreren op server-side zakelijke logica, en client-side gebruikerservaringen, en hoeft niet veel tijd te b

  • NSketch, .Net sketch-based algorithms Gratis

    De NSketch bibliotheek biedt implementaties van de meest voorkomende schets gebaseerde algoritmen (histogrammen, quantile, frequente items, bloom filter ...). De bibliotheek is geschreven in C# voor .Net.