Invia software
  1. Casa
  2. Windows
  3. Altro
  4. equ-iitg formal equivalence checker
  5. Download

equ-iitg formal equivalence checker 1.2

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 2.4/5 - ‎8 ‎Voti

Circa equ-iitg formal equivalence checker

Questo è uno strumento formale di controllo dell'equivalenza sviluppato @ IIT Guwahati che può essere utilizzato per verificare l'equivalenza funzionale tra circuiti (combinati e sequenziali) dei formati BLIF, verilog ed EDIF.

Programmi correlati

  • ArmedBear / J Gratuito

    ArmedBear (ABCL) è un Lisp comune scritto in Java. Il suo compilatore produce codice byte JVM, attingendo alla filosofia "write once, run everywhere" di Java. J è un editor di testo scritto in Java con, ad esempio, evidenziaz

  • Integrated PearPC GUI Gratuito

    IPG è la GUI PearPC integrata, che consente di configurare ed eseguire l'emulatore PearPC all'interno di una GUI basata su Windows.

  • wxWindows Project Manager for VC7 Gratuito

    Insieme di strumenti per semplificare l'utilizzo di wxWindows con Visual C++ 7.

  • flam3 editor Gratuito

    Flam3 Editor è costruito intorno al tradizionale pacchetto software flam3. L'editor consente di caricare, modificare e salvare fiamme frattali ricorsive cosmiche, come pecore elettriche o file di apofisi, gestisce i tradizion

  • InvisiBright Free Prova gratuita

    **Se ti piace questa app, considera di provare la versione Pro :) **InvisiBright è un'utilità invisibile di regolazione della luminosità. Regola dall'interno di qualsiasi applicazione scorrendo sullo schermo o inclinando

  • serverM - a powerful host-based IDS Gratuito

    serverM è un sistema di rilevamento delle intrusioni basato su host (HIDS) basato su firma estremamente flessibile. Eseguono come daemon Perl, utilizza poca CPU ed è in grado di rilevare una vasta gamma di intrusioni. Il ling

  • Eclipse SpringIDE Extensions Gratuito

    Estensioni per il progetto SpringIDE (vedere springide-eclip e springframework).Attualmente include: classe (spostamento/ridenominazione) e metodo (rinominare) i partecipanti al refactoring, supporto alla ricerca e contribu

  • Generic Entity Manager Gratuito

    Un gestore di entità di gioco generico scritto in C ++ con associazioni Lua. Nelle prime fasi dell'Atm. Game Entity System - Attualmente alla ricerca di membri del progetto aggiuntivi.

  • ajaxnet4j Gratuito

    ajaxnet4j è un'implementazione Java della famosa libreria Ajax.NET Professional. Con l'aiuto di esso, puoi concentrarti sulle logiche aziendali sul lato server e sulle esperienze utente lato client e non devi dedicare molto t

  • NSketch, .Net sketch-based algorithms Gratuito

    La libreria NSketch fornisce implementazioni dei più comuni algoritmi basati su schizzi (istogrammi, quantili, elementi frequenti, filtro bloom ...). La libreria è scritta in C# per .Net.