![](/statics/img/blank.png)
equ-iitg formal equivalence checker 1.2
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 2.4/5 - 8 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang equ-iitg formal equivalence checker
Ini adalah alat pengecekan kesetaraan formal yang dikembangkan @ IIT Guwahati yang dapat digunakan untuk memverifikasi kesetaraan fungsional antara sirkuit (kombinasi dan berurutan) dari format BLIF, verilog dan EDIF.