VPA驗(yàn)證過(guò)程自動(dòng)化
加入技術(shù)交流群
掃碼加入
和技術(shù)大咖面對(duì)面交流
海量資料庫(kù)查詢
隨著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://www.ex-cimer.com/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)論