Programas por equiitg.sf.net

  • equ-iitg formal equivalence checker Livre

    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.