?

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

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

“Cadence驗證解決方案在不斷改進我們管理驗證項目的方法，”Teradyne工程工具戰(zhàn)略經(jīng)理Dominic Wong說,，“工程規(guī)格如今已成為完成高質(zhì)量驗證的重要文件,。此外,，我們對于形式驗證有堅定的信念，并相信能夠?qū)⑽覀兊囊?guī)格融入到流程中,，更好地應(yīng)用我們現(xiàn)有的方法學,。”?

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

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

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

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

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

?

關(guān)于Cadence ?

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