Cadence設計系統(tǒng)有限公司和ARM發(fā)布了面向ARM®技術的Cadence®FunctionalVerificationKit（功能驗證

錦囊），為設計團隊在驗證基于ARM處理器的設計過程中提供低風險的驗證閉合途徑。這一“錦囊”覆蓋了從架構驗證到軟/硬件系統(tǒng)驗證的驗證流程，并都能與與Cadence經(jīng)過驗證的Incisive®Plan-to-Closure方法學緊密結合，從而使諸如無線以及個人數(shù)字娛樂等領域的設計者在驗證流程中獲得更高的團隊生產(chǎn)力和設計品質(zhì)，以及更好的可預測性。
Cadence的這一“錦囊”包括在CadenceIncisive平臺之上專為基于ARM處理器設計而量身定做的模塊、芯片、系統(tǒng)級的流程和驗證方法學，Cadence應用咨詢服務，用以演示這些方法學的基于ARM926™處理器的參考設計以及一整套經(jīng)過ARM技術認證的AMBA驗證IP（VIP）。此VIP包括可復用的驗證計劃，AMBA兼容指標、先進的測試環(huán)境、形式和加速的協(xié)議斷言、加速的事件轉換器、周期精度的ARM處理器模型和ARM硬件仿真用的LogicTiles。

“NeoMagic的MiMagicApplicationProcessor系列能夠在極低功耗的情況下為手持設備提供強大的多媒體性能。隨著我們給基于ARM處理器的SoC設計添加更多功能并提升性能，我們所面臨的驗證挑戰(zhàn)大大增加?！盢eoMagic的VLSI設計與技術副總監(jiān)Dr.SudhirChandratreya指出，“我們的團隊在采用Cadence驗證自動化解決方案來驗證我們的SoC設計方面一直很成功。ARM和Cadence此次合作推出ARM功能驗證錦囊用以簡化AMBA兼容和驗證閉合的實現(xiàn)是一個廣受歡迎的重要舉措?！?

AMBA方法學是Cadence錦囊的一個組成部分，也是廣泛采用的、開放的SoC內(nèi)部互連規(guī)范。Cadence基于AMBA方法學的Incisive驗證IP（VIP）已經(jīng)獲得了ARM的AMBA3AXI™Assuredcertification和AMBA2AHBcompliance證書。這確保VIP正確地執(zhí)行這些規(guī)范以及ARMeXtensibleVerificationComponent(XVC)模擬界面。此外，Cadence的AXI和AHB可執(zhí)行驗證計劃(vPlan)被證明可以為客戶提供AMBA兼容。

面向ARM技術的Cadence功能驗證錦囊進一步強化了Cadence通過“錦囊”應對復雜電子設計挑戰(zhàn)的戰(zhàn)略。

更多關于Cadence的ARM功能驗證錦囊的信息，敬請瀏覽公司網(wǎng)站http://www.cadence.com/products/kits/.