![](/statics/img/blank.png)
equ-iitg formal equivalence checker 1.2
License: Free File size: N/A
Users Rating: 2.4/5 - 8 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
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.