Cadence推出全新的指標(biāo)驅(qū)動(dòng)型驗(yàn)證方法學(xué)和解決方案

　　Cadence設(shè)計(jì)系統(tǒng)公司宣布對(duì)其企業(yè)級(jí)驗(yàn)證解決方案進(jìn)行大幅度改良，這項(xiàng)舉措將會(huì)幫助項(xiàng)目與計(jì)劃負(fù)責(zé)人更好地管理復(fù)雜的驗(yàn)證項(xiàng)目，從規(guī)格到閉合的整個(gè)過程都會(huì)有更高的透明度。通過這些改良，項(xiàng)目經(jīng)理可以更為輕松地創(chuàng)建驗(yàn)證計(jì)劃，提高其所管理項(xiàng)目指標(biāo)的范圍與可調(diào)整性，并獨(dú)有地結(jié)合形式驗(yàn)證、測(cè)試環(huán)境模擬與驗(yàn)證加速指標(biāo)，以便于綜合驗(yàn)證流程管理。這些新能力可以創(chuàng)造出更高質(zhì)量的產(chǎn)品、更有效率的多專家驗(yàn)證團(tuán)隊(duì)，并提高項(xiàng)目可預(yù)測(cè)性。

　　人們通常采用的融合驅(qū)動(dòng)型驗(yàn)證（CDV）方法學(xué)，如開放式驗(yàn)證方法學(xué)（OVM）和e 復(fù)用方法學(xué)（eRM），已經(jīng)提高了驗(yàn)證團(tuán)隊(duì)的質(zhì)量與效率。然而，要?jiǎng)?chuàng)建一個(gè)實(shí)用的驗(yàn)證計(jì)劃，在CDV流程中應(yīng)用基于斷言的驗(yàn)證（ABV）和形式驗(yàn)證，并且應(yīng)對(duì)越來越大的數(shù)據(jù)量，在這些方面依然存在諸多挑戰(zhàn)。Cadence現(xiàn)在提供了一種全新的指標(biāo)驅(qū)動(dòng)型驗(yàn)證（MDV）方法學(xué)和解決方案，對(duì)CDV進(jìn)行拓展，以解決這些問題。

　　目前，Incisive Enterprise Manager加入了一種新型的驗(yàn)證規(guī)劃器，旨在輔助MDV驗(yàn)證計(jì)劃的創(chuàng)建，直接或者交互式地附上Microsoft Word 或者Adobe PDF格式的規(guī)范。Incisive Formal Verifier的整合將指標(biāo)進(jìn)行擴(kuò)展，加入了斷言與核驗(yàn)，補(bǔ)充了Incisive Enterprise Simulator、Incisive Xtreme III與Incisive Palladium的指標(biāo)，實(shí)現(xiàn)了統(tǒng)一的驗(yàn)證指標(biāo)。Incisive Verification IP對(duì)應(yīng)MDV，可適用標(biāo)準(zhǔn)協(xié)議的方法學(xué)。結(jié)合可升級(jí)的SQL數(shù)據(jù)庫(kù)，可處理驗(yàn)證指標(biāo)的爆炸性增長(zhǎng)，并且在Incisive形式、測(cè)試環(huán)境模擬與加速技術(shù)中提供開放指標(biāo)管理和分析。

　　這些創(chuàng)新可以更好地降低風(fēng)險(xiǎn)，將要求清楚地記錄在可執(zhí)行的規(guī)范中，貫穿硬件與嵌入式軟件。他們以Microsoft Word或PDF格式為可執(zhí)行的計(jì)劃提供了項(xiàng)目要求的相關(guān)性，可以對(duì)變更進(jìn)行管理與跟蹤，同時(shí)將數(shù)百種規(guī)格變化造成的連鎖反應(yīng)相關(guān)的驗(yàn)證成本最小化。

　　Cadence 的企業(yè)驗(yàn)證技術(shù)將是CDNLive硅谷一系列會(huì)議的主題， CDNLive 是Cadence的用戶大會(huì)于今天在圣荷塞 Convention Center 和 Marriott Hotel開始舉辦。