在线免费观看成年人视频-在线免费观看国产-在线免费观看国产精品-在线免费观看黄网站-在线免费观看精品

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

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

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

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

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