Programma's van equiitg.sf.net

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.