全球電子設計創新領先企業Cadence設計系統公司（納斯達克: CDNS），今天宣布對其企業級驗證解決方案" title="驗證解決方案">驗證解決方案進行大幅度改良，這項舉措將會幫助項目與計劃負責人更好地管理復雜的驗證項目，從規格到閉合的整個過程都會有更高的透明度。通過這些改良，項目經理可以更為輕松地創建驗證計劃，提高其所管理項目指標的范圍與可調整性，并獨有地結合形式驗證" title="形式驗證">形式驗證、測試環境模擬" title="環境模擬">環境模擬與驗證加速指標，以便于綜合驗證流程管理。這些新能力可以創造出更高質量的產品、更有效率的多" title="的多">的多專家驗證團隊，并提高項目可預測性。?

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

“Cadence驗證解決方案在不斷改進我們管理驗證項目的方法，”Teradyne工程工具戰略經理Dominic Wong說，“工程規格如今已成為完成高質量驗證的重要文件。此外，我們對于形式驗證有堅定的信念，并相信能夠將我們的規格融入到流程中，更好地應用我們現有的方法學。”?

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

“越來越多的項目管理桌面運行Microsoft Office 和Cadence技術，以提供Office世界與基于工作站的工程流程之間的獨特聯系，促進電子產品的開發，”微軟" title="微軟">微軟EPG高科技與電子行業全球產業管理總監Sanjay Ravi說，“通過滿足多專家SoC與系統開發團隊的需要，提供更可靠的企業級驗證過程，這次提供的新功能清晰地展示了微軟與Cadence等公司合作開發角色型生產力解決方案所發揮的威力、以及取得的成功，這些方案通過熟悉的微軟高效工具就可以廣泛地訪問企業數據與流程。”?

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

“我們對Cadence企業驗證解決方案所做的改進，將會產生深遠的影響，為管理者提供他們一直在尋找的可見性，確保他們復雜的項目驗證能夠如期進行，”Cadence企業驗證部營銷主管Michal Siwinski說，“通過我們的規劃與項目管理技術實現的高效率，真的可以成為能否實現驗證目標的決定因素，少了它，將會讓項目風險大大提高。”?

Cadence 的企業驗證技術將是CDNLive!硅谷一系列會議的主題, CDNLive!是Cadence的用戶大會于今天在圣荷塞 Convention Center 和 Marriott Hotel開始舉辦.?

?

關于Cadence ?

Cadence公司成就全球電子設計技術創新，并在創建當今集成電路和電子產品中發揮核心作用。我們的客戶采用Cadence的軟件、硬件、設計方法和服務，來設計和驗證用于消費電子產品、網絡和通訊設備以及計算機系統中的尖端半導體器件、印刷電路板和電子系統。2007年，Cadence公司全球收入約16億美元,現擁有員工約5,100名，公司總部位于美國加州圣荷塞市，公司在世界各地均設有銷售辦事處、設計中心和研究設施，以服務于全球電子產業。關于公司、產品及服務的更多信息，敬請瀏覽公司網站 www.cadence.com。?