equ-iitg formal equivalence checker 1.2

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 2.4/5 - ‎8 ‎評分

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

版本歷史記錄

  • 版本 equiitg_1.2%20beta 發佈於 2009-07-02
    若干修復和更新
  • 版本 equiitg_1.2 beta 發佈於 2009-07-02

軟體細節