Chương trình theo equiitg.sf.net

Đây là một công cụ kiểm tra tương đương chính thức được phát triển @ IIT Guwahati có thể được sử dụng để xác minh tương đương chức năng giữa các mạch (kết hợp và tuần tự) của các định dạng BLIF, verilog và EDIF.