基于A(yíng)MBA 3 AXI協(xié)議的規劃方案

另外一組可重用架構組件是DesignWare的通用主/從接口模塊DW_axi_gm/gs。DW_axi_gm/gs使用通用接口，降低了把定制IP 或特定應用移植到基于AMBA 3 AXI協(xié)議總線(xiàn)時(shí)的復雜度。當把定制應用或定制IP連接到基于AMBA 3 AXI協(xié)議的總線(xiàn)上時(shí)，工程師不必擔心協(xié)議的細節，因為DW_axi/gs模塊可以處理AMBA 3 AXI的大部分接口細節。使用通用接口模塊，工程師能夠有更多時(shí)間關(guān)注連接到AMBA 3 AXI總線(xiàn)后用戶(hù)應用的驗證檢查工作。

DesignWare驗證IP

快速實(shí)現基于A(yíng)MBA 3 AXI協(xié)議設計的DesignWare IP解決方案的第二部分是針對AMBA 3 AXI的Synopsys DesignWare驗證IP(VIP)，它提供了一種快速并有效地驗證基于A(yíng)MBA 3 AXI 的SoC設計的方法。針對AMBA 3 AXI的DesignWare驗證IP包括以下的組件：主設備、從設備、監視器和驗證互連。每一個(gè)組件都支持所有的AMBA 3 AXI地址和數據寬度，以及所有的協(xié)議轉換和響應類(lèi)型。主/從設備驗證IP用來(lái)產(chǎn)生事務(wù)處理，并對事物處理作出響應。驗證互連實(shí)現了一個(gè)全互連功能子系統的創(chuàng )建，可以對多模塊交互的模塊級集成進(jìn)行測試。驗證IP包括一個(gè)全功能的命令集，可實(shí)現直接的事務(wù)處理和基于命令的測試。驗證IP能夠快速清除互連錯誤、功能錯誤，并完成很多邊界情況的測試。

圖2 DesignWare驗證IP的系統級驗證

驗證IP已經(jīng)獲得了AMBA 3 的標識認證，這說(shuō)明DesignWare驗證IP已被證明正確實(shí)現了AMBA 3 AXI的相關(guān)規范，該規范的定義來(lái)自ARM基于聲明的AXI協(xié)議規則集合。當在模塊級使用驗證IP時(shí)，模塊接口將被測試以證明其符合AMBA 3 AXI協(xié)議規范，這使得從模塊級到最終子系統的集成工作變得輕松。DesignWare驗證IP也可以用在子系統級，測試主/從模塊的交互，同時(shí)創(chuàng )建真實(shí)的應用數據流量。這時(shí)，得到了AMBA 3 認證的DesignWare驗證IP可確保AMBA 3 AXI協(xié)議規范沒(méi)有被違犯。

DesignWare的驗證IP和參考驗證方法學(xué)

DesignWare驗證IP支持一個(gè)可重用分層的、覆蓋驅動(dòng)的、受約束的隨機驗證方法學(xué)，用來(lái)快速產(chǎn)生數以千計的事物處理。

受約束的隨機驗證產(chǎn)生由Synopsys參考驗證方法學(xué)(RVM)定義。該方法學(xué)定義了一個(gè)強有力的方法用來(lái)自動(dòng)產(chǎn)生事物處理，實(shí)現最大數目的協(xié)議組合。對于大型的復雜設計，受約束隨機的、覆蓋驅動(dòng)的方法學(xué)與傳統的直接測試方法學(xué)相比提供了更高的生產(chǎn)力和質(zhì)量驗證。在直接測試方法中，工程師編寫(xiě)獨立的測試向量來(lái)驗證特定的設計功能。這種處理方法非常耗費時(shí)間，特別是對有大量關(guān)聯(lián)功能的復雜設計。