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

DesignWare驗證IP

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

圖2 DesignWare驗證IP的系統(tǒng)級驗證

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

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

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

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