開發者 equiitg.sf.net

這是一個正式的等價檢查工具開發的 @ Iit Guwahati， 可用於驗證格式 Blif、verilog 和 EDIF 的電路（組合和順序）之間的功能等效性。