（最大程度的縮短得到驗證結(jié)果所需的時間）

 

Formality 是一種等效性檢測工具，采用形式驗證的技術(shù)來判斷一個設(shè)計的兩個版本在功能上是否等效。等效性檢測是一種靜態(tài)分析方法，無需測試向量即可快速而全面的完成驗證。
Formality具有一個流程化的圖形界面和先進的調(diào)試功能，令設(shè)計者可以很快地檢測出設(shè)計中地錯誤并將之隔離，這一功能可以大大縮短得到驗證結(jié)果所需的時間。Formality業(yè)界領(lǐng)先的功能和性能使之成為設(shè)計團隊的首選產(chǎn)品。與傳統(tǒng)的仿真或是競爭對手的工具相比，F(xiàn)ormality具有很多優(yōu)點。

• 通過完備的驗證覆蓋將流片失敗的可能性降到最低

• 對一個幾百萬門的設(shè)計進行驗證以分鐘記數(shù)，加快了產(chǎn)品 上市時間

• 降低了工具設(shè)置的需求并提供快速錯誤隔離的功能，顯著 的縮短了傳統(tǒng)的 等效性檢測的周期

• 工具簡單易學，無需艱苦的培訓，最大化的方便工程師的 使用

• 提供了為業(yè)界所證實的先進功能，能充分利用現(xiàn)有的硬件 資源