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

DesignWare驗證IP

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

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

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

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

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

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