這是一個正式的等價檢查工具開發的 @ Iit Guwahati, 可用於驗證格式 Blif、verilog 和 EDIF 的電路(組合和順序)之間的功能等效性。
版本歷史記錄
- 版本 equiitg_1.2%20beta 發佈於 2009-07-02
若干修復和更新 - 版本 equiitg_1.2 beta 發佈於 2009-07-02
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: equiitg.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.2
- 作業系統: windows
這是一個正式的等價檢查工具開發的 @ Iit Guwahati, 可用於驗證格式 Blif、verilog 和 EDIF 的電路(組合和順序)之間的功能等效性。