VPA驗(yàn)證過(guò)程自動(dòng)化
隨著IC產(chǎn)業(yè)的發(fā)展,芯片的設(shè)計(jì)規(guī)模以及設(shè)計(jì)的復(fù)雜性變得越來(lái)越大,因此我們提升芯片設(shè)計(jì)能力的同時(shí),對(duì)芯片功能驗(yàn)證的要求也相應(yīng)提高。據(jù)統(tǒng)計(jì),芯片項(xiàng)目研發(fā)中,60%-70%的時(shí)間花在功能驗(yàn)證工作上。所以獲取全新、有效率的驗(yàn)證方法和建立完善的驗(yàn)證環(huán)境已變得越來(lái)越重要。在傳統(tǒng)的驗(yàn)證方法已不能勝任今天的驗(yàn)證要求的時(shí)候,產(chǎn)品開發(fā)經(jīng)理或項(xiàng)目管理者就需要通過(guò)積極的姿態(tài),將功能驗(yàn)證作為總體設(shè)計(jì)方法的一個(gè)非常重要的部分加以解決。
本文引用地址:http://m.butianyuan.cn/article/3253.htmVerisity公司是一家全球著名的提供SoC功能驗(yàn)證解決方案的EDA公司,其擁有功能驗(yàn)證最大的市場(chǎng)份額。為業(yè)界提供了具有工程意義的完整的驗(yàn)證解決方案 - VPA(Verification Process Automation驗(yàn)證過(guò)程的自動(dòng)化)。徹底解決了目前困擾芯片開發(fā)瓶頸問(wèn)題,提高了芯片的設(shè)計(jì)品質(zhì)以及設(shè)計(jì)的周期。此方案可以使設(shè)計(jì)者的設(shè)計(jì)驗(yàn)證從模塊級(jí)、芯片級(jí)到系統(tǒng)級(jí)的過(guò)程完全自動(dòng)化。包括驗(yàn)證計(jì)劃的制定、系統(tǒng)模型的TLM開發(fā)、RTL模塊級(jí)和系統(tǒng)級(jí)的驗(yàn)證以及整個(gè)驗(yàn)證過(guò)程的管理。此外還提供全新的基于硬件加速和硬件仿真的“SpeX”驗(yàn)證平臺(tái)。
Verisity最新的驗(yàn)證過(guò)程自動(dòng)化(VPA)系統(tǒng)包括:
- SpeXsim:模塊和芯片級(jí)驗(yàn)證和仿真工具(具備仿真能力的Specman)
- SpeXtreme:高性能芯片級(jí)和系統(tǒng)級(jí)驗(yàn)證加速與硬件仿真系統(tǒng)
- vManager:項(xiàng)目級(jí)驗(yàn)證流程管理系統(tǒng)
- eVC和eRM:即插即用的可重用驗(yàn)證模塊以及完整的驗(yàn)證重用方法學(xué)
- Xtreme II:當(dāng)前最易用、靈活的驗(yàn)證加速解決方案
今天,Verisity聯(lián)合它在國(guó)內(nèi)的代理商NewPlus公司,在北京、上海等地舉辦了有關(guān)驗(yàn)證過(guò)程的自動(dòng)化的研討會(huì),會(huì)上,Verisity的專家詳細(xì)介紹Verisity公司的驗(yàn)證過(guò)程自動(dòng)化(VPA),系統(tǒng)驗(yàn)證方法學(xué)(SVM ),以及驗(yàn)證管理(VM)等。 研討會(huì)不僅從理論上、工程應(yīng)用上進(jìn)行介紹,而且還通過(guò)演示來(lái)展示相關(guān)技術(shù)和方法。探討在可控性、可觀測(cè)性以及在擴(kuò)展性方面的驗(yàn)證方法。還包括了在設(shè)計(jì)驗(yàn)證中如何應(yīng)用Verisity平臺(tái)的成功經(jīng)驗(yàn)。另外,Verisity和NewPlus公司的專業(yè)技術(shù)服務(wù)人員還將為您提供IC驗(yàn)證方面的咨詢,幫助您在產(chǎn)品開發(fā)方面取得更大成功
評(píng)論