![](/statics/img/blank.png)
equ-iitg formal equivalence checker 1.2
라이센스: 무료 파일 크기: N/A
사용자 평가: 2.4/5 - 8 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 equ-iitg formal equivalence checker
이것은 BLIF, verilog 및 EDIF 형식의 회로 (조합 및 순차적) 사이의 기능적 동등성을 확인하는 데 사용할 수있는 @ IIT Guwahati 개발 된 공식적인 동등성 검사 도구입니다.