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

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

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

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

“越來越多的項目管理桌面運行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)新可以更好地降低風(fēng)險，將要求清楚地記錄在可執(zhí)行的規(guī)范中，貫穿硬件與嵌入式軟件。他們以Microsoft Word或PDF格式為可執(zhí)行的計劃提供了項目要求的相關(guān)性，可以對變更進行管理與跟蹤，同時將數(shù)百種規(guī)格變化造成的連鎖反應(yīng)相關(guān)的驗證成本最小化。?

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

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

?

關(guān)于Cadence ?

Cadence公司成就全球電子設(shè)計技術(shù)創(chuàng)新，并在創(chuàng)建當(dāng)今集成電路和電子產(chǎn)品中發(fā)揮核心作用。我們的客戶采用Cadence的軟件、硬件、設(shè)計方法和服務(wù)，來設(shè)計和驗證用于消費電子產(chǎn)品、網(wǎng)絡(luò)和通訊設(shè)備以及計算機系統(tǒng)中的尖端半導(dǎo)體器件、印刷電路板和電子系統(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。?