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

DesignWare驗證IP

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

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

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

DesignWare的驗證IP和參考驗證方法學

DesignWare驗證IP支持一個可重用分層的、覆蓋驅動的、受約束的隨機驗證方法學，用來快速產生數以千計的事物處理。

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