Programas por equiitg.sf.net

Se trata de una herramienta formal de verificación de equivalencia desarrollada por IIT Guwahati que se puede utilizar para verificar la equivalencia funcional entre circuitos (combinados y secuenciales) de los formatos BLIF,