Cadence推出全新的指標驅動型驗證方法學和解決方案

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

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

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

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

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