聯系電話:
400-8888-427
首頁
產品服務
解決方案
客戶案例
熱門資源
關于我們
模型檢查工具EsseFPV通過形式化技術驗證的SystemVerilog斷言(SVA)屬性,為用戶提供快速的錯誤檢測以及預期設計行為的端到端驗證。該工具可以在仿真之前實現驗證,適用于早期的錯誤追蹤,通過全面的端到端驗證確保設計功能的高正確性。EsseFPV支持斷言屬性、約束屬性和覆蓋屬性的驗證,能夠在設計中快速發現錯誤并提供反例。其人性化的圖形用戶界面對習慣圖形化系統的用戶非常友好,有助于調試。
產品優勢
快速定位設計錯誤
支持多種驗證引擎
人性化的用戶圖形界面
可定制化的屬性驗證服務