equ iitg formal equivalence checker to run in windows online over linux online

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

Quick description about equ iitg formal equivalence checker to run in windows online over linux online:

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.

.