Cadence推出全新的指標驅動(dòng)型驗證方法學(xué)和解決方案

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

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

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

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

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