equ iitg formal equivalence checker online with Winfy

We have hosted the application equ iitg formal equivalence checker in order to run this application in our online workstations with Wine or directly.

Quick description about equ iitg formal equivalence checker:

This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.

Programming Language: C.
Categories: