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