[發(fā)明專利]UVM驗(yàn)證平臺的內(nèi)部信號檢測方法及應(yīng)用

在審

• 申請?zhí)枺?/td>: 201410440055.4
• 申請日: 2014-09-01
• 公開（公告）號: CN105373458A
• 公開（公告）日: 2016-03-02
• 發(fā)明（設(shè)計(jì)）人: 王靜
• 申請（專利權(quán)）人: 上海華虹集成電路有限責(zé)任公司
• 主分類號: G06F11/267
• 分類號: G06F11/267
• 代理公司: 上海浦一知識產(chǎn)權(quán)代理有限公司 31211
• 代理人: 戴廣志

技術(shù)領(lǐng)域

本發(fā)明屬于芯片的功能驗(yàn)證領(lǐng)域，特別是涉及一種UVM(驗(yàn)證方法學(xué)) 驗(yàn)證平臺的內(nèi)部信號檢測方法及應(yīng)用。

背景技術(shù)

隨著集成電路的規(guī)模的不斷擴(kuò)大，驗(yàn)證面臨極大的挑戰(zhàn)。UVM驗(yàn)證方法 學(xué)采用了SystemVerilog(硬件驗(yàn)證語言)語言，引入了斷言、抽象化、 自動化及重用機(jī)制，可以搭建基于事務(wù)的可重用的層次化驗(yàn)證平臺，減少 測試?yán)膹?fù)雜度，提高了驗(yàn)證效率。但是這種基于抽象事務(wù)的驗(yàn)證平臺， 在平臺調(diào)試(debug)時，抽象的事務(wù)并沒有好的方法可以直觀地追蹤和查 看，現(xiàn)在的波形查看工具對于這種平臺內(nèi)部的信號也不能很好的提取出來 查看，使得驗(yàn)證平臺的調(diào)試多是依靠打印查看Log(日志)信息來實(shí)現(xiàn)。這 種方式效率比較低。

發(fā)明內(nèi)容

本發(fā)明要解決的技術(shù)問題是提供一種UVM驗(yàn)證平臺的內(nèi)部信號檢測方 法及應(yīng)用，能夠直觀查看平臺內(nèi)部的信號，提高驗(yàn)證效率。

為解決上述技術(shù)問題，本發(fā)明的UVM驗(yàn)證平臺的內(nèi)部信號檢測方法， 包括如下步驟：

步驟1，在頂層聲明一個接口(interface)，接口信號類型定義為與 需要檢測的內(nèi)部信號一致；

步驟2，在需要信號檢測的class(類)內(nèi)定義一個步驟1中聲明的接 口信號類型的接口，并使用uvm_config_db::get(UVM語法：得到配置信 息)函數(shù)來得到該接口；

步驟3，將需要檢測的內(nèi)部信號賦值給步驟2中實(shí)例化的接口信號；

步驟4，通過uvm_config_db::set函數(shù)將所述接口放到UVM環(huán)境相應(yīng) 層次中；

步驟5，通過在波形中觀察步驟4中的接口信號，即實(shí)現(xiàn)內(nèi)部信號的檢 測。

上述方法，在UVM驗(yàn)證平臺內(nèi)部的抽象事務(wù)包中的數(shù)據(jù)的應(yīng)用。

上述方法，通過宏定義和封裝，集成在UVM驗(yàn)證平臺的基類中，在所 有基于UVM驗(yàn)證平臺架構(gòu)的驗(yàn)證中的應(yīng)用。

本發(fā)明通過將內(nèi)部信號賦值到接口信號上，接口信號可以很直觀的在 波形工具查看，包括事務(wù)包中的數(shù)據(jù)，方便調(diào)試，能夠很方便地追蹤信號 跳變，并可很方便地集成于驗(yàn)證平臺內(nèi)部，可以實(shí)現(xiàn)UVM驗(yàn)證平臺內(nèi)部抽 象事務(wù)的具體化；極大地提高驗(yàn)證效率。

附圖說明

下面結(jié)合附圖與具體實(shí)施方式對本發(fā)明作進(jìn)一步詳細(xì)的說明：

附圖是所述UVM驗(yàn)證平臺的內(nèi)部信號檢測方法實(shí)現(xiàn)流程圖；

具體實(shí)施方式

所述UVM驗(yàn)證平臺的內(nèi)部信號檢測方法如下：在頂層聲明一個接口， 接口信號類型定義為與需要檢測的內(nèi)部信號一致，在需要信號檢測的class 內(nèi)定義一個此聲明的接口類型的接口，并使用uvm_config_db::get函數(shù)來 得到此interface，將需要檢測的內(nèi)部信號賦值給實(shí)例化的接口信號，通過 uvm_config_db::set將此接口信號放到環(huán)境中相應(yīng)層次中去，通過在波形 中觀察此層次的接口信號，即實(shí)現(xiàn)UVM驗(yàn)證平臺的內(nèi)部信號檢測。

可以使用宏來定義接口，以方便在需要使用的class中進(jìn)行調(diào)用。

可以使用宏來賦值接口信號，以方便需要檢測的信號的添加。

所述賦值，可以使用forever(硬件描述語言中關(guān)鍵字：無窮循環(huán)) 等待所述接口信號跳變時，將內(nèi)部信號值賦給該接口信號來實(shí)現(xiàn)實(shí)時監(jiān)測。

對于平臺內(nèi)部檢測的信號的添加，需要擴(kuò)展所述聲明的接口的信號類 型，并添加相應(yīng)信號的賦值。

參見附圖所示，下面是一個對于類的內(nèi)部的信號的追蹤和查看的實(shí)例， 用來說明本發(fā)明的具體細(xì)節(jié)。

如上描述，在驗(yàn)證中，需要追蹤類myunit中的類l1的數(shù)據(jù)：即 myunit.l1.data。按照本發(fā)明的步驟，先聲明一個接口，如下所示：

interfacedbg_if(inputlogicclock)；

logic[31:0]dbg_data；

endinterface

該接口中定義的信號類型和需要追蹤的信號的類型一致，都是Int類 型。