摘要：為了縮短SoC項(xiàng)目開發(fā)中前端驗(yàn)證的時(shí)間，實(shí)現(xiàn)自動(dòng)化的可重用性驗(yàn)證環(huán)境平臺(tái)，采用了eRM驗(yàn)證方法學(xué)，通過Sequence，BFM，Moni-tor，Scoreboard，Coverage等驗(yàn)證組件來實(shí)現(xiàn)此驗(yàn)證平臺(tái)，并給出了基于此平臺(tái)的一個(gè)應(yīng)用實(shí)例，極大地提高了驗(yàn)證的效率和功能覆蓋率。
關(guān)鍵詞：驗(yàn)證時(shí)間；eRM；eVC驗(yàn)證平臺(tái)；隨機(jī)測試

    集成電路已進(jìn)入高速發(fā)展的階段，半導(dǎo)體制造商極為成功的實(shí)現(xiàn)了摩爾定律的預(yù)期發(fā)展速度，為了縮短芯片上市時(shí)間，驗(yàn)證工程師必須保證芯片在流片前能得到很完備的驗(yàn)證。為了使日益復(fù)雜的項(xiàng)目達(dá)到理想的功能覆蓋率，驗(yàn)證面臨著巨大的挑戰(zhàn)。eRM是一種基于e語言的驗(yàn)證方法學(xué)，通過Sequence，Bfm，Mkmitor，Scoreboard，Coverage等驗(yàn)證組件建立驗(yàn)證平臺(tái)，可以對芯片進(jìn)行Direct，Random等測試，并且可以很好地統(tǒng)計(jì)功能覆蓋率，極大地?fù)?jù)高了驗(yàn)證效率和生產(chǎn)率。

1 常用驗(yàn)證方法
    從一個(gè)設(shè)計(jì)的功能驗(yàn)證來看，僅通過模塊的接口界面(輸入／輸出信號端口)就完全可以驗(yàn)證器件的行為以及其實(shí)現(xiàn)的所有功能，否則該器件的屬性就是不可控制的或是不可預(yù)測的。功能驗(yàn)證一般通過以下3種方法：黑盒法、白盒法、灰盒法。
    黑盒法是指驗(yàn)證人員不需要用關(guān)心設(shè)計(jì)內(nèi)部是如何實(shí)現(xiàn)的，所有的驗(yàn)證都可以通過接口完成，無需直接訪問設(shè)計(jì)的內(nèi)部狀態(tài)。白盒法是是對設(shè)計(jì)的內(nèi)部結(jié)構(gòu)和實(shí)現(xiàn)具有完全的預(yù)測和控制能力，根據(jù)驗(yàn)證功能點(diǎn)可以迅速設(shè)置感興趣的狀態(tài)和輸入激勵(lì)，但不具備重用性。而灰盒法是介于二者之間，既有基于界面的驗(yàn)證組件，也有對內(nèi)部狀態(tài)控制和檢查的組件，為提高驗(yàn)證效率和重用性，一般采用灰盒法。

2 eRM驗(yàn)證方法學(xué)
    eRM驗(yàn)證方法學(xué)采用的是e驗(yàn)證語言，利用了e語言中的測試激勵(lì)的生成、激勵(lì)數(shù)據(jù)的驅(qū)動(dòng)、輸出結(jié)果的采樣、輸出響應(yīng)的檢查、功能覆蓋率分析等組件，降低了驗(yàn)證過程中的人工干預(yù)，提高了驗(yàn)證的生產(chǎn)率。
2．1 eVC驗(yàn)證平臺(tái)
    eVC(e Verification Component)是基于eRM方法學(xué)的驗(yàn)證環(huán)境韻通稱，eVC包括所有相關(guān)的驗(yàn)證組件，從編寫測試激勵(lì)到功能覆蓋率的收集，從模塊驗(yàn)證到系統(tǒng)驗(yàn)證，都可以通過eVC來實(shí)現(xiàn)。為了提高驗(yàn)證效率，驗(yàn)證人員都都會(huì)開發(fā)一個(gè)黃金eVC，在實(shí)際項(xiàng)目中只需要根據(jù)實(shí)際協(xié)議擴(kuò)展該黃金eVC即可，在驗(yàn)證環(huán)境開發(fā)前期，節(jié)省了大量的代碼。典型的eVC驗(yàn)證結(jié)構(gòu)如圖1所示。Agent是驗(yàn)證環(huán)境中最主要的驗(yàn)證組件，所有的驗(yàn)證組件一般都在Agent里例化，驗(yàn)證環(huán)境中的Agent一般相當(dāng)于設(shè)計(jì)中的實(shí)體(由VHDL實(shí)現(xiàn)的設(shè)計(jì))或輸入輸出信號端口(由Veri-log實(shí)現(xiàn)的設(shè)計(jì))。在圖1所示的eVC里，有2個(gè)Agent，RX Agent是從DUT信號端口收集數(shù)據(jù)，而TX Agent是指向DUT的信號端口發(fā)送數(shù)據(jù)。并且每個(gè)Agent都是按eRM方法學(xué)中的標(biāo)準(zhǔn)方式來構(gòu)建的，Agent里一般包括以下組件：
    Config：包括Agent的屬性和行為，主要配置Agent的數(shù)量及其主動(dòng)或被動(dòng)的屬性，一般由驗(yàn)證人員自主定義的。
    Signals：該組件中定義了一些DUT的信號端口，驗(yàn)證環(huán)境通過這些端口可以訪問DUT內(nèi)部的所有信號。一般情況下，這些信號是以string類型來定義，并在信號前加sig_前綴，利用hdl_path()函數(shù)指定與其相連接的DUT信號。
    Sequence：是指驗(yàn)證人員希望加載到DUT的數(shù)據(jù)流，利用sequence既可以定義不加任何約束的隨機(jī)數(shù)據(jù)，也可以是某些特定的數(shù)據(jù)流。
    Sequence Driver：此組件是連接BFM和sequence的紐帶，將sequence生成的數(shù)據(jù)流發(fā)送到bfm，但不是直接驅(qū)動(dòng)到DUT信號上，而是將數(shù)據(jù)打包為一個(gè)列表，然后由BFM加載到DUT中。
    BFM：總線功能模型，該組件只能在Agent里例化，從圖1中可以看出，BFM具有雙端通道，不僅將Sequence Driver中傳遞的數(shù)據(jù)流加載到DUT的信號端口，而且可以取樣需要檢測的信號，和一般總線的功能相似。

[!--empirenews.page--]
    Monitor：是一個(gè)被動(dòng)組件，Monitor只能采樣需要監(jiān)測的DUT信號和輸入數(shù)據(jù)，從圖1中可以看出，Monitor只是單端通道，不能主動(dòng)驅(qū)動(dòng)信號。此外，Monitor可以監(jiān)測DUT的輸出響應(yīng)，并對監(jiān)測到感興趣的信號發(fā)生變化時(shí)激活預(yù)定義的事件，通過此事件可以對當(dāng)前輸入的數(shù)據(jù)進(jìn)行覆蓋率統(tǒng)計(jì)以及對輸出數(shù)據(jù)和信號的時(shí)序進(jìn)行檢查。
2．2 提高功能覆蓋率的方法
    為了提高驗(yàn)證的生產(chǎn)率和功能覆蓋率，eRM提供了一套標(biāo)準(zhǔn)化的驗(yàn)證方法，典型的是測試激勵(lì)采用隨機(jī)(Random)驗(yàn)證和直接(Direct)驗(yàn)證方法。直接(Direct)驗(yàn)證法是指輸入的激勵(lì)是驗(yàn)證人員所期望的，相應(yīng)的輸出也是可以控制和實(shí)時(shí)監(jiān)控的。但是直接測試方法不能驗(yàn)證正常功能以為的驗(yàn)證點(diǎn)，而且編寫每條測試激勵(lì)需要耗費(fèi)大量的時(shí)間，一般只在驗(yàn)證前期調(diào)試驗(yàn)證環(huán)境或者發(fā)現(xiàn)DUT錯(cuò)誤的時(shí)候才采用直接測試法來定位錯(cuò)誤。隨機(jī)驗(yàn)證法是為被驗(yàn)證子模塊或系統(tǒng)產(chǎn)生一系列隨機(jī)的輸入序列。采用隨機(jī)驗(yàn)證法可以發(fā)現(xiàn)一些設(shè)計(jì)人員沒有預(yù)計(jì)到的但實(shí)際應(yīng)用中會(huì)出現(xiàn)的情況，同時(shí)也能找出設(shè)計(jì)中很難發(fā)現(xiàn)的錯(cuò)誤。此外，對于目前大多數(shù)設(shè)計(jì)來說，所有輸入情況和內(nèi)部狀態(tài)的組合是無窮的，因此不可能將所有的情況都進(jìn)行驗(yàn)證。解決此問題的辦法就是有效的將直接驗(yàn)證法和隨機(jī)驗(yàn)證法結(jié)合起來。eVC中提供的sequence可以很好地實(shí)現(xiàn)以上2種驗(yàn)證方法，在編寫測試激勵(lì)時(shí)，可以對Sequence加入任何的約束來產(chǎn)生測試數(shù)據(jù)。為了直觀的看到功能覆蓋率的情況，Spe-cman提供了圖形化的覆蓋率統(tǒng)計(jì)界面，每次驗(yàn)證完一條測試激勵(lì)后，都可以生成一個(gè)覆蓋率文件，當(dāng)所有的測試激勵(lì)驗(yàn)證完畢后，Specman一次讀入所有的覆蓋率文件，并且將每個(gè)功能點(diǎn)的覆蓋率都是用百分比的框圖來表示。

3 eVC驗(yàn)證平臺(tái)的應(yīng)用實(shí)例
    下面通過一個(gè)應(yīng)用實(shí)例來介紹如何基于eRM建立自動(dòng)化驗(yàn)證平臺(tái)，該實(shí)例中待測模塊fifo是一個(gè)簡單的存儲(chǔ)模塊，其驗(yàn)證平臺(tái)如下圖2所示。

    在驗(yàn)證fifo時(shí)，先驗(yàn)證fifo的正常讀寫功能，再驗(yàn)證其讀寫的極端情況，即將fifo寫滿直至溢出或者讀空，并且實(shí)時(shí)的監(jiān)測fifo讀出的數(shù)據(jù)及其狀態(tài)。圖2中的各個(gè)文件都是用e驗(yàn)證語言中的Struct或Unit來實(shí)現(xiàn)的。
    (1)信號接口fifo_signal。fifo_signal中定義了所有需要與fifo相連接的信號，既可以是接口信號也可以是fifo的內(nèi)部信號，fifo_bfm可以通過這些信號端口向fifo輸入激勵(lì)，也可以采樣部分輸出信號。
    (2)總線驅(qū)動(dòng)接口fifo_bfm。在fifo_bfm中，通過drive()函數(shù)將sequence里生成的數(shù)據(jù)加載入fifo中，也可以在總線端口產(chǎn)生fifo的讀寫時(shí)序，將數(shù)據(jù)和地址寫入fifo中，此組件也可以采樣驗(yàn)證人員感興趣的信號。
    (3)輸入數(shù)據(jù)流fifo_seqtlence。在fifo_sequence中，主要是根據(jù)所加約束來產(chǎn)生fifo的測試數(shù)據(jù)。fifo_sequence的定義中包含三部分，分別是item，sequence_driver以及sequence_kind。其中item是模擬fifo需要的輸入激勵(lì)來定義，例如數(shù)據(jù)以及讀寫信號等。sequen-ce_driver將生成的數(shù)據(jù)包發(fā)送給fifo_bfm。sequence_kind是指定需要的各種sequence，一般由驗(yàn)證人員根據(jù)實(shí)際設(shè)計(jì)協(xié)議自主定義的。
    (4)監(jiān)視器fifo_monitor。fifo_monitor主要是對寫入和讀出fifo的數(shù)據(jù)進(jìn)行監(jiān)測，并實(shí)時(shí)檢查fifo的狀態(tài)是否與實(shí)際的輸入相符。fi-fo_monitor是一個(gè)被動(dòng)組件，不能驅(qū)動(dòng)信號，本例中只能采集fifo的數(shù)據(jù)和狀態(tài)信號并且釋放在Item中定義的事件，作為fifo_coverage統(tǒng)計(jì)fifo的數(shù)據(jù)及其狀態(tài)覆蓋率的敏感事件。
    (5)fifo_coverage組件。fifo_coverage中定義了所有的需要統(tǒng)計(jì)覆蓋率的數(shù)據(jù)，例如統(tǒng)計(jì)fifo的狀態(tài)變化、寫入的數(shù)據(jù)等，并在每驗(yàn)證完一條測試激勵(lì)后，可以實(shí)時(shí)的觀測到該覆蓋率的變化。
    (6)評分板fifo_sb。fifo_sb是一個(gè)用來做自動(dòng)化比較的組件，并對輸入的激勵(lì)進(jìn)行一系列的處理，預(yù)先得到一個(gè)絕對正確的輸出結(jié)果，并與從fifo中fifo_monitor采集到的輸出數(shù)據(jù)逐一進(jìn)行比較，如果二者的數(shù)據(jù)或時(shí)序不同，就會(huì)報(bào)出錯(cuò)誤信息。
    (7)eVC中expect和check檢查。在eRM中，提供了一些特定的檢查時(shí)序的函數(shù)和語法，和Verilog中斷言Assert一樣，使用Expect或者Check可以將fifo的設(shè)計(jì)規(guī)范中的fifo_empty，fifo_full等狀態(tài)的與實(shí)際在仿真器中的監(jiān)測到的fifo狀態(tài)進(jìn)行比較，如果二者不相符，則通過函數(shù)dut_error()輸出相應(yīng)的錯(cuò)誤信息。

4 結(jié)語
    本文以fifo為例，采用了基于eRM驗(yàn)證方法學(xué)來建立自動(dòng)化的驗(yàn)證平臺(tái)，并詳細(xì)介紹了fifo驗(yàn)證環(huán)境框架結(jié)構(gòu)中各個(gè)組件的功能和實(shí)現(xiàn)方法，極大地提高了fifo的驗(yàn)證效率和功能覆蓋率。該平臺(tái)完全繼承eRM驗(yàn)證方法學(xué)，主要采用了eRM中的直接測試法和隨機(jī)測試法，具有較高的驗(yàn)證重用性，大大的縮短了實(shí)際項(xiàng)目開發(fā)中搭建驗(yàn)證環(huán)境的時(shí)間，并已得到了廣泛的應(yīng)用。