驗證流程自動化解決方案(VPA)提供商——Verisity公司和ARM日前宣布,雙方合作向兩公司共有客戶針對系統級的驗證工作提供驗證IP。

這兩家公司將共同開發ARM11系列的驗證IP,這些驗證IP將由AXI的e驗證IP(eVC),以及建立在Verisity公司驗證流程自動化方案上的先進技術方法開始進行開發。

雙方解釋說,很多ARM核的合作開發伙伴的設計現在正在將單一芯片系統整合推向極限。很多基于ARM11微處理器結構的設計需要數以十億計的驗證周期和以百G級的信息,這些需要分散到很多不同地區的計算機和工程師資源上去。正是基于這個原因,ARM和Verisity公司合作來幫助客戶使這些針對下一代設計的驗證問題變得更加簡單。

“我們相信下一代的芯片設計者需要一個能夠在模塊級、系統級以及項目級進行自動化驗證的平臺,”ARM公司的驗證方法經理Alan Hunter說道,“Verisity公司提供的驗證流程自動化方案能夠和一些新的驗證IP很好地進行工作、能夠很好的進行開發并且能夠讓我們的客戶在外圍跑ARM的驗證組件。所有這些將使基于ARM核的設計的驗證工作在未來變得更加簡單和快捷?！?

據介紹,ARM11系列處理器包含有一系列的高質量的微處理器核心和使用新的高數據傳輸量的AMBA 3.0 AXI總線系統的平臺。AXI eVC將成為AXI總線的完整驗證環境中的一部分,其中包含模塊級和芯片級的激勵產生器、數據和斷言檢查以及基于規格書的功能覆蓋率的分析,AXI eVC將嚴格符合Verisity的e重用方法學(eRM)以及ARM公司所提供的AXI驗證平臺。