Tarafından Programlar equiitg.sf.net

Bu formatları BLIF, verilog ve EDIF devreleri (kombinasyonel ve sıralı) arasında fonksiyonel eşdeğerliği doğrulamak için kullanılabilir @ IIT Guwahati geliştirilen resmi bir eşdeğerlik kontrol aracıdır.