Programmi di equiitg.sf.net

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