OKI設(shè)計團(tuán)隊采用CADENCEINCISIVEFORMALVERIFIER做為其形式驗證標(biāo)準(zhǔn)
【2006年7月10日加州圣何塞市】Cadence設(shè)計系統(tǒng)公司（Nasdaq股票代碼：CDNS）今日宣布,沖電氣工業(yè)株式會社（Oki）已經(jīng)采納Incisive Formal Verifier做為其基于斷言的形式驗證(ABV)標(biāo)準(zhǔn)。通過在設(shè)計初期階段采用Cadence® Incisive® Formal Verifier形式驗證工具,Oki公司改善了產(chǎn)品交付和整體質(zhì)量。Incisive Formal Verifier使得Oki公司的設(shè)計團(tuán)隊能夠在模擬測試環(huán)境之前數(shù)月就開始進(jìn)行驗證,并迅速找出存在的設(shè)計缺陷。以前這些缺陷在產(chǎn)品交付周期中極難被發(fā)現(xiàn),造成的代價極其高昂。
Oki公司的電信與汽車系統(tǒng)業(yè)務(wù)部電信大規(guī)模集成電路設(shè)計處高級經(jīng)理Yasuhiro Ohno 說：“快速可靠地驗證VoIP LSI產(chǎn)品的DSP內(nèi)核,對于我們的業(yè)務(wù)極為重要。在過去,我們已經(jīng)通過基于斷言的動態(tài)驗證,在模擬過程中有效地提高了驗證閉合。通過在模擬之前的工作流程中加入基于斷言的形式驗證, Incisive Formal Verifier已經(jīng)可以將產(chǎn)品開發(fā)進(jìn)度縮短數(shù)月并提高整體設(shè)計品質(zhì)�；谖覀兊慕�(jīng)驗,我們將在設(shè)計與驗證團(tuán)隊中大規(guī)模采用Incisive Formal Verifier形式驗證工具,以縮短我們的產(chǎn)品上市周期�！�
Incisive Formal Verifier特別適用于需要在整個設(shè)計過程初期增加功能驗證能力的設(shè)計團(tuán)隊。作為基于斷言的完整驗證流程的一部分,Incisive Formal Verifier能夠在模擬測試環(huán)境之前對設(shè)計模塊進(jìn)行驗證,更早地并以更低的成本找出功能上的缺陷。Incisive Formal Verifier能夠支持廣泛的斷言語言,包括PSL(IEEE 1850)和SVA(IEEE 1800),以及如Accellera的 Open Verification Library等多種斷言庫,便于在任意流程中采用。Incisive Formal Verifier結(jié)合形式分析方法學(xué),能夠加速模塊級開發(fā)。隨著設(shè)計工作進(jìn)入模塊集成階段,同樣的斷言可以在形式驗證、模擬和硬件加速/硬件仿真中重復(fù)使用,特別是通過減少集成與調(diào)試次數(shù)可以提高驗證流程的效果。
Cadence 驗證部門市場營銷全球副總裁Steve Glaser 表示：“我們高興地看到像Oki這樣的業(yè)界著名企業(yè)采用Incisive Formal Verifier改善其驗證流程。Oki取得的成果與我們許多其它客戶所取得的成果類似。在設(shè)計周期初期采用形式分析,并將其作為基于斷言的完整驗證流程的一部分可以獲得巨大回報�！�
