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

人們通常采用的融合驅(qū)動(dòng)型驗(yàn)證（CDV）方法學(xué)，如開(kāi)放式驗(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)對(duì)越來(lái)越大的數(shù)據(jù)量，在這些方面依然存在諸多挑戰(zhàn)。Cadence現(xiàn)在提供了一種全新的指標(biāo)驅(qū)動(dòng)型驗(yàn)證（MDV）方法學(xué)和解決方案，對(duì)CDV進(jìn)行拓展，以解決這些問(wèn)題。?

“Cadence驗(yàn)證解決方案在不斷改進(jìn)我們管理驗(yàn)證項(xiàng)目的方法，”Teradyne工程工具戰(zhàn)略經(jīng)理Dominic Wong說(shuō)，“工程規(guī)格如今已成為完成高質(zhì)量驗(yàn)證的重要文件。此外，我們對(duì)于形式驗(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對(duì)應(yīng)MDV，可適用標(biāo)準(zhǔn)協(xié)議的方法學(xué)。結(jié)合可升級(jí)的SQL數(shù)據(jù)庫(kù)，可處理驗(yàn)證指標(biāo)的爆炸性增長(zhǎng)，并且在Incisive形式、測(cè)試環(huán)境模擬與加速技術(shù)中提供開(kāi)放指標(biāo)管理和分析。?

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

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

“我們對(duì)Cadence企業(yè)驗(yàn)證解決方案所做的改進(jìn)，將會(huì)產(chǎn)生深遠(yuǎn)的影響，為管理者提供他們一直在尋找的可見(jiàn)性，確保他們復(fù)雜的項(xiàng)目驗(yàn)證能夠如期進(jìn)行，”Cadence企業(yè)驗(yàn)證部營(yíng)銷(xiāo)主管Michal Siwinski說(shuō)，“通過(guò)我們的規(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開(kāi)始舉辦.?

?

關(guān)于Cadence ?

Cadence公司成就全球電子設(shè)計(jì)技術(shù)創(chuàng)新，并在創(chuàng)建當(dāng)今集成電路和電子產(chǎn)品中發(fā)揮核心作用。我們的客戶采用Cadence的軟件、硬件、設(shè)計(jì)方法和服務(wù)，來(lái)設(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名，公司總部位于美國(guó)加州圣荷塞市，公司在世界各地均設(shè)有銷(xiāo)售辦事處、設(shè)計(jì)中心和研究設(shè)施，以服務(wù)于全球電子產(chǎn)業(yè)。關(guān)于公司、產(chǎn)品及服務(wù)的更多信息，敬請(qǐng)瀏覽公司網(wǎng)站 www.cadence.com。?