?

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

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

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

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

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

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

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

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

?

關(guān)于Cadence ?

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