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

在受約束的隨機(jī)、覆蓋驅(qū)動(dòng)方法中，工程師編寫(xiě)由高級(jí)約束描述的真實(shí)輸入。先進(jìn)的驗(yàn)證工具和驗(yàn)證IP將使用這些約束自動(dòng)產(chǎn)生幾千種測(cè)試向量對(duì)設(shè)計(jì)進(jìn)行驗(yàn)證。功能覆蓋用來(lái)指導(dǎo)驗(yàn)證和測(cè)量的過(guò)程。結(jié)果是驗(yàn)證質(zhì)量目標(biāo)能夠更容易地在投片前得到滿(mǎn)足，甚至對(duì)大多數(shù)復(fù)雜設(shè)計(jì)也是如此。用來(lái)實(shí)現(xiàn)受約束隨機(jī)驗(yàn)證環(huán)境的參考驗(yàn)證方法學(xué)建立在一個(gè)可重用的基礎(chǔ)架構(gòu)之上，它使得在一個(gè)模塊級(jí)的測(cè)試可以在模塊級(jí)、子系統(tǒng)級(jí)，甚至跨越多項(xiàng)目進(jìn)行重用。RVM驅(qū)動(dòng)的驗(yàn)證IP意味著設(shè)計(jì)工程師僅需編寫(xiě)最少量的測(cè)試向量，然后依次產(chǎn)生幾千種測(cè)試向量，全面地將實(shí)際的總線(xiàn)流量加載到模塊或子系統(tǒng)中。Synopsys 基于RVM的環(huán)境提供了一個(gè)對(duì)所有驗(yàn)證組件的統(tǒng)一接口，因此更容易理解并能夠快速地跨越其它項(xiàng)目被重用。

要加速基于AMBA 3 AXI協(xié)議的系統(tǒng)驗(yàn)證，DesignWare驗(yàn)證IP應(yīng)當(dāng)被用來(lái)驗(yàn)證單獨(dú)的組件接口，并在子系統(tǒng)使用，最后在全系統(tǒng)級(jí)使用。在模塊級(jí)，驗(yàn)證IP用來(lái)產(chǎn)生有效和精確的激勵(lì)源測(cè)試AMBA 3 AXI接口應(yīng)用。如果測(cè)試向量是按照RVM的規(guī)則編寫(xiě)的，那么在這一級(jí)創(chuàng)建的測(cè)試向量將能夠在子系統(tǒng)級(jí)重新運(yùn)行。

最初的基于AMBA 3 AXI 子系統(tǒng)的有效驗(yàn)證通過(guò)用DesignWare驗(yàn)證IP替換許多松散耦合的IP和設(shè)計(jì)模塊來(lái)完成。這使得內(nèi)部連接、事物處理和功能能夠被快速驗(yàn)證，并創(chuàng)建了一組魯棒性強(qiáng)的高覆蓋率測(cè)試向量。DesignWare驗(yàn)證IP的主設(shè)備和從設(shè)備用來(lái)替代組件，主設(shè)備VIP用來(lái)創(chuàng)建直接的和受約束的隨機(jī)驗(yàn)證事物處理。這種方法允許快速創(chuàng)建子系統(tǒng)激勵(lì)源和響應(yīng)，能夠迅速清除任何設(shè)計(jì)內(nèi)部的連接問(wèn)題。DesignWare驗(yàn)證IP中的監(jiān)視器用來(lái)檢查AMBA規(guī)范的遵守情況，并提供與基于測(cè)試平臺(tái)的評(píng)分表(Scoreboard)的直接連接(見(jiàn)圖1)。

評(píng)分表本質(zhì)上是一個(gè)測(cè)試平臺(tái)代碼模塊，它能以自動(dòng)且智能的方式跟蹤事物處理、覆蓋和數(shù)據(jù)流程。對(duì)于數(shù)據(jù)，它能夠跟蹤源數(shù)據(jù)，并將其與目的數(shù)據(jù)比較，針對(duì)被測(cè)試數(shù)據(jù)路徑創(chuàng)建一個(gè)是否通過(guò)測(cè)試的標(biāo)準(zhǔn)。評(píng)分表直接與DesignWare驗(yàn)證IP監(jiān)視器連接，使得所有的事物處理和覆蓋數(shù)據(jù)能夠被提取、捕獲和驗(yàn)證。使用DesignWare驗(yàn)證IP監(jiān)視器的好處之一是：當(dāng)主設(shè)備和從設(shè)備的驗(yàn)證IP模塊被刪除，并用實(shí)際的系統(tǒng)級(jí)測(cè)試RTL替換時(shí)，相同的基于評(píng)分表的驗(yàn)證環(huán)境繼續(xù)起作用。當(dāng)監(jiān)視器是被動(dòng)組件時(shí)，能貫穿整個(gè)驗(yàn)證周期而被使用。

要進(jìn)一步加速驗(yàn)證工作，聲明IP也應(yīng)當(dāng)被包含到模塊級(jí)和子系統(tǒng)級(jí)環(huán)境中，以便使用形式和混合形式驗(yàn)證工具，如Synopsys Magellan工具。驗(yàn)證IP和聲明IP都應(yīng)當(dāng)被包含在驗(yàn)證環(huán)境中。驗(yàn)證IP監(jiān)視器提供了先進(jìn)的仿真功能，如支持跨端口的覆蓋和評(píng)分表通知。因?yàn)锳RM 提供并定義了AMBA 3 協(xié)議聲明IP作為可執(zhí)行的規(guī)范，它可以用來(lái)作為參考。所有的DesignWare驗(yàn)證IP組件已經(jīng)被ARM提供的聲明IP驗(yàn)證，作為AMBA認(rèn)證過(guò)程的一部分。另外，DesignWare驗(yàn)證IP監(jiān)視器通過(guò)跟蹤和登記每一個(gè)事物處理、提供覆蓋信息、給出違反協(xié)議的錯(cuò)誤和警告信息，從而幫助確定驗(yàn)證任務(wù)何時(shí)完成。

最后的驗(yàn)證步驟是全系統(tǒng)級(jí)驗(yàn)證(見(jiàn)圖2)。在這個(gè)步驟中，應(yīng)該包括針對(duì)松散耦合應(yīng)用組件和IP的RTL驗(yàn)證。外部接口也必須被驗(yàn)證，其它的 DesignWare驗(yàn)證IP此時(shí)也被使用，以減少系統(tǒng)級(jí)測(cè)試的工作。工程師能夠使用DesignWare驗(yàn)證IP 的大量文件，它們被作為VCS驗(yàn)證庫(kù)的一部分。DesignWare的庫(kù)產(chǎn)品包括：PCI Express 、串行IO 、I2C、以太網(wǎng)、USB、USB-OTG和數(shù)以千計(jì)基于設(shè)備的內(nèi)存模型。針對(duì)AMBA 3 AXI的DesignWare驗(yàn)證IP主設(shè)備仍然應(yīng)被用于產(chǎn)生激勵(lì)源，最初的子系統(tǒng)測(cè)試能夠立刻被重新使用。其它的DesignWare驗(yàn)證IP也能夠直接與評(píng)分表連接，提供一個(gè)閉環(huán)的智能驗(yàn)證平臺(tái)。

驗(yàn)證工程師也想盡可能快速地對(duì)設(shè)計(jì)、測(cè)試平臺(tái)、驗(yàn)證IP和聲明IP進(jìn)行仿真。使用Synopsys VCS仿真器能夠完成高性能的仿真。VCS把全部的設(shè)計(jì)環(huán)境、設(shè)計(jì)、測(cè)試平臺(tái)、驗(yàn)證IP和聲明IP優(yōu)化到單個(gè)的統(tǒng)一內(nèi)核中。這種單個(gè)的被編譯的內(nèi)核刪除了在傳統(tǒng)仿真環(huán)境中出現(xiàn)的通信和同步開(kāi)銷(xiāo)，使設(shè)計(jì)者獲得了5倍以上的仿真性能。對(duì)驗(yàn)證工程師來(lái)說(shuō)，這意味著以前運(yùn)行5天的回歸驗(yàn)證，現(xiàn)在不到1天就可以完成。