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

 

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

• 通過(guò)完備的驗(yàn)證覆蓋將流片失敗的可能性降到最低

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

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

• 工具簡(jiǎn)單易學(xué)，無(wú)需艱苦的培訓(xùn)，最大化的方便工程師的 使用

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