开发者 equiitg.sf.net

这是一个正式的等价检查工具开发的 @ Iit Guwahati， 可用于验证格式 Blif、verilog 和 EDIF 的电路（组合和顺序）之间的功能等效性。