Programas por equiitg.sf.net

Esta é uma ferramenta formal de verificação de equivalência desenvolvida @ IIT Guwahati que pode ser usada para verificar a equivalência funcional entre circuitos (combinados e sequenciais) dos formatos BLIF, verilog e EDIF.