equ-iitg formal equivalence checker

  •        0

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.

http://equiitg.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects