EsseFormal是一款全功能形式驗證軟件，包括五種工具，即C-to-RTL/RTL-to-Netlist的等價性驗證（EsseFECT）、組合邏輯等價性驗證（EsseFCEC）、模型檢查（EsseFPV），以及兩種實用驗證Apps（EsseCC與EsseUNR），為數字芯片設計各個環節提供了高效的驗證工具。其具有定制化和集成化兩大特點，精準滿足客戶需求，大幅降低用戶驗證時間、提高驗證完整性和準確性。EsseFormal可與芯神馳PegaSim軟件仿真相連，對覆蓋率庫文件中那些不可達部分的深入驗證，顯著增強軟件仿真過程中的代碼覆蓋率。
-889.png)
