產(chǎn)品服務(wù)
模型檢查工具EsseFPV通過形式化技術(shù)驗證的SystemVerilog斷言（SVA）屬性，為用戶提供快速的錯誤檢測以及預(yù)期設(shè)計行為的端到端驗證。該工具可以在仿真之前實現(xiàn)驗證，適用于早期的錯誤追蹤，通過全面的端到端驗證確保設(shè)計功能的高正確性。EsseFPV支持斷言屬性、約束屬性和覆蓋屬性的驗證，能夠在設(shè)計中快速發(fā)現(xiàn)錯誤并提供反例。其人性化的圖形用戶界面對習(xí)慣圖形化系統(tǒng)的用戶非常友好，有助于調(diào)試。
產(chǎn)品優(yōu)勢
快速定位設(shè)計錯誤
支持多種驗證引擎
人性化的用戶圖形界面
可定制化的屬性驗證服務(wù)
-889.png)
