Atur cara mengikut equiitg.sf.net

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.