福馬爾專業版-等效檢查解決方案

FormalPro 使用靜態正式驗證技術來證明設計在功能上與其黃金參考相同。這比傳統的閘門級模擬快一次-使用 FormalPro 可以在數小時甚至幾分鐘內進行驗證需要數天或數週的設計。

主要功能

沒有測試台的等效驗證覆蓋範圍

快速證明設計在功能上相同-比較 RTL 與閘口網列表進行合成，從閘到門網列表進行佈局旋轉。使用一個工具和流程進行所有設計。

使用靜態正式驗證技術，快速驗證數百萬門設計，並大幅縮短驗證時間。使用全面的除錯工具可識別錯誤位置/原因，以及獨特的「如果」功能來調查現有驗證工作階段內的設計修改功能來更正設計的最快路徑。

加入討論新主題、功能、內容和技術專家。

存取詳細的使用者應用程式備註、訓練資源等。

透過獨特的開發和設計經驗和方法專業知識，解決複雜的技術和企業挑戰，幫助您實現最大的業務影響。