![](/statics/img/blank.png)
equ-iitg formal equivalence checker 1.2
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 2.4/5 - 8 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang equ-iitg formal equivalence checker
Ini adalah alat pemeriksaan kesamaan rasmi yang dibangunkan @ IIT Guwahati yang boleh digunakan untuk mengesahkan persamaan fungsi antara litar (gabungan dan berurutan) format BLIF, verilog dan EDIF.