프로그램별 equiitg.sf.net

이것은 BLIF, verilog 및 EDIF 형식의 회로 (조합 및 순차적) 사이의 기능적 동등성을 확인하는 데 사용할 수있는 @ IIT Guwahati 개발 된 공식적인 동등성 검사 도구입니다.