基于AMBA 3 AXI協(xié)議的規(guī)劃方案
加入技術(shù)交流群
另外一組可重用架構(gòu)組件是DesignWare的通用主/從接口模塊DW_axi_gm/gs。DW_axi_gm/gs使用通用接口，降低了把定制IP 或特定應(yīng)用移植到基于AMBA 3 AXI協(xié)議總線時(shí)的復(fù)雜度。當(dāng)把定制應(yīng)用或定制IP連接到基于AMBA 3 AXI協(xié)議的總線上時(shí)，工程師不必?fù)?dān)心協(xié)議的細(xì)節(jié)，因?yàn)镈W_axi/gs模塊可以處理AMBA 3 AXI的大部分接口細(xì)節(jié)。使用通用接口模塊，工程師能夠有更多時(shí)間關(guān)注連接到AMBA 3 AXI總線后用戶應(yīng)用的驗(yàn)證檢查工作。
DesignWare驗(yàn)證IP
快速實(shí)現(xiàn)基于AMBA 3 AXI協(xié)議設(shè)計(jì)的DesignWare IP解決方案的第二部分是針對(duì)AMBA 3 AXI的Synopsys DesignWare驗(yàn)證IP(VIP)，它提供了一種快速并有效地驗(yàn)證基于AMBA 3 AXI 的SoC設(shè)計(jì)的方法。針對(duì)AMBA 3 AXI的DesignWare驗(yàn)證IP包括以下的組件：主設(shè)備、從設(shè)備、監(jiān)視器和驗(yàn)證互連。每一個(gè)組件都支持所有的AMBA 3 AXI地址和數(shù)據(jù)寬度，以及所有的協(xié)議轉(zhuǎn)換和響應(yīng)類(lèi)型。主/從設(shè)備驗(yàn)證IP用來(lái)產(chǎn)生事務(wù)處理，并對(duì)事物處理作出響應(yīng)。驗(yàn)證互連實(shí)現(xiàn)了一個(gè)全互連功能子系統(tǒng)的創(chuàng)建，可以對(duì)多模塊交互的模塊級(jí)集成進(jìn)行測(cè)試。驗(yàn)證IP包括一個(gè)全功能的命令集，可實(shí)現(xiàn)直接的事務(wù)處理和基于命令的測(cè)試。驗(yàn)證IP能夠快速清除互連錯(cuò)誤、功能錯(cuò)誤，并完成很多邊界情況的測(cè)試。
圖2 DesignWare驗(yàn)證IP的系統(tǒng)級(jí)驗(yàn)證
驗(yàn)證IP已經(jīng)獲得了AMBA 3 的標(biāo)識(shí)認(rèn)證，這說(shuō)明DesignWare驗(yàn)證IP已被證明正確實(shí)現(xiàn)了AMBA 3 AXI的相關(guān)規(guī)范，該規(guī)范的定義來(lái)自ARM基于聲明的AXI協(xié)議規(guī)則集合。當(dāng)在模塊級(jí)使用驗(yàn)證IP時(shí)，模塊接口將被測(cè)試以證明其符合AMBA 3 AXI協(xié)議規(guī)范，這使得從模塊級(jí)到最終子系統(tǒng)的集成工作變得輕松。DesignWare驗(yàn)證IP也可以用在子系統(tǒng)級(jí)，測(cè)試主/從模塊的交互，同時(shí)創(chuàng)建真實(shí)的應(yīng)用數(shù)據(jù)流量。這時(shí)，得到了AMBA 3 認(rèn)證的DesignWare驗(yàn)證IP可確保AMBA 3 AXI協(xié)議規(guī)范沒(méi)有被違犯。
DesignWare的驗(yàn)證IP和參考驗(yàn)證方法學(xué)
DesignWare驗(yàn)證IP支持一個(gè)可重用分層的、覆蓋驅(qū)動(dòng)的、受約束的隨機(jī)驗(yàn)證方法學(xué)，用來(lái)快速產(chǎn)生數(shù)以千計(jì)的事物處理。
受約束的隨機(jī)驗(yàn)證產(chǎn)生由Synopsys參考驗(yàn)證方法學(xué)(RVM)定義。該方法學(xué)定義了一個(gè)強(qiáng)有力的方法用來(lái)自動(dòng)產(chǎn)生事物處理，實(shí)現(xiàn)最大數(shù)目的協(xié)議組合。對(duì)于大型的復(fù)雜設(shè)計(jì)，受約束隨機(jī)的、覆蓋驅(qū)動(dòng)的方法學(xué)與傳統(tǒng)的直接測(cè)試方法學(xué)相比提供了更高的生產(chǎn)力和質(zhì)量驗(yàn)證。在直接測(cè)試方法中，工程師編寫(xiě)?yīng)毩⒌臏y(cè)試向量來(lái)驗(yàn)證特定的設(shè)計(jì)功能。這種處理方法非常耗費(fèi)時(shí)間，特別是對(duì)有大量關(guān)聯(lián)功能的復(fù)雜設(shè)計(jì)。
評(píng)論