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.
cronologia delle versioni
- Versione equiitg_1.2%20beta pubblicato il 2009-07-02
Diverse correzioni e aggiornamenti - Versione equiitg_1.2 beta pubblicato il 2009-07-02
Dettagli del programma
- Categoria: Sviluppo > Altro
- Editore: equiitg.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 1.2
- Piattaforma: windows