开发者 equiitg.sf.net

equ-iitg formal equivalence checker 免费

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