[發(fā)明專利]基于UVM功能覆蓋率驅(qū)動的驗證方法、裝置及設(shè)備

有效

• 申請?zhí)枺?/td>: 202110528025.9
• 申請日: 2021-05-14
• 公開（公告）號: CN113297071B
• 公開（公告）日: 2022-08-19
• 發(fā)明（設(shè)計）人: 緱佳禛;邵海波;賈曉龍
• 申請（專利權(quán)）人: 山東云海國創(chuàng)云計算裝備產(chǎn)業(yè)創(chuàng)新中心有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京集佳知識產(chǎn)權(quán)代理有限公司 11227
• 代理人: 侯珊

本發(fā)明公開了一種基于UVM功能覆蓋率驅(qū)動的驗證方法，應(yīng)用于UVM驗證平臺，該方法包括以下步驟：采集預(yù)生成的隨機變量；判斷變量隊列中是否存在隨機變量；若否，則利用隨機變量對目標(biāo)算法模塊進(jìn)行驗證；若是，則對隨機變量進(jìn)行剔除操作；獲取當(dāng)前已驗證隨機變量占預(yù)設(shè)變量范圍的目標(biāo)覆蓋率；判斷目標(biāo)覆蓋率是否達(dá)到預(yù)設(shè)覆蓋率；若否，則重復(fù)執(zhí)行采集預(yù)生成的隨機變量的步驟，直至達(dá)到預(yù)設(shè)覆蓋率；若是，則確定對目標(biāo)算法模塊的隨機驗證完成。應(yīng)用本發(fā)明所提供的基于UVM功能覆蓋率驅(qū)動的驗證方法，提高了驗證效率，節(jié)省了運算資源。本發(fā)明還公開了一種基于UVM功能覆蓋率驅(qū)動的驗證裝置、設(shè)備及存儲介質(zhì)，具有相應(yīng)技術(shù)效果。

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

本發(fā)明涉及軟件測試技術(shù)領(lǐng)域，特別是涉及一種基于UVM功能覆蓋率驅(qū)動的驗證方法、裝置、設(shè)備及計算機可讀存儲介質(zhì)。

背景技術(shù)

隨著計算機技術(shù)的發(fā)展，計算機代替人力進(jìn)行很多的計算任務(wù)，在開發(fā)一款算法模塊之后，需要對算法模塊的功能進(jìn)行驗證。算法模塊的驗證一直是驗證中的難點，算法模塊的驗證不像控制模塊，相同的運算單元不需要前后數(shù)據(jù)的關(guān)聯(lián)，每個運算數(shù)據(jù)都是相互獨立的，但由于其數(shù)據(jù)量巨大，大部分運算的數(shù)據(jù)必須覆蓋，才能保障算法模塊的驗證充分。

目前流行算法模塊是通過隨機運算變量進(jìn)行算法運算，并將算法模塊的計算結(jié)果與標(biāo)準(zhǔn)結(jié)果比對，從而完成算法模塊的驗證。但是運算變量的隨機控制基本上都是通過在uvm_item模塊中進(jìn)行隨機約束，因為在隨機過程中產(chǎn)生的無效隨機變量是巨大的，會消耗大量的仿真時間和運算資源去完成有效的運算數(shù)據(jù)隨機，從而導(dǎo)致驗證效率低，資源耗費嚴(yán)重。

綜上所述，如何有效地解決現(xiàn)有的算法模塊驗證方法，驗證效率低，資源耗費嚴(yán)重等問題，是目前本領(lǐng)域技術(shù)人員急需解決的問題。

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

本發(fā)明的目的是提供一種基于UVM功能覆蓋率驅(qū)動的驗證方法，該方法提高了驗證效率，節(jié)省了運算資源；本發(fā)明的另一目的是提供一種基于UVM功能覆蓋率驅(qū)動的驗證裝置、設(shè)備及計算機可讀存儲介質(zhì)。

為解決上述技術(shù)問題，本發(fā)明提供如下技術(shù)方案：

一種基于UVM功能覆蓋率驅(qū)動的驗證方法，應(yīng)用于UVM驗證平臺，包括：

采集預(yù)生成的隨機變量；

判斷變量隊列中是否存在所述隨機變量；

若否，則利用所述隨機變量對目標(biāo)算法模塊進(jìn)行驗證；

若是，則對所述隨機變量進(jìn)行剔除操作；

獲取當(dāng)前已驗證隨機變量占預(yù)設(shè)變量范圍的目標(biāo)覆蓋率；

判斷所述目標(biāo)覆蓋率是否達(dá)到預(yù)設(shè)覆蓋率；

若否，則重復(fù)執(zhí)行所述采集預(yù)生成的隨機變量的步驟，直至達(dá)到所述預(yù)設(shè)覆蓋率；

若是，則確定對所述目標(biāo)算法模塊的隨機驗證完成。

在本發(fā)明的一種具體實施方式中，采集預(yù)生成的隨機變量，包括：

采集按照預(yù)置變量收集范圍預(yù)生成的隨機變量。

在本發(fā)明的一種具體實施方式中，在采集預(yù)生成的隨機變量之后，判斷變量隊列中是否存在所述隨機變量之前，還包括：

將所述隨機變量轉(zhuǎn)換成TLM事務(wù)級隨機變量。

在本發(fā)明的一種具體實施方式中，在所述目標(biāo)覆蓋率達(dá)到預(yù)設(shè)覆蓋率之后，還包括：

接收預(yù)輸入的各直接變量；

利用各所述直接變量對所述目標(biāo)算法模塊進(jìn)行驗證。

在本發(fā)明的一種具體實施方式中，當(dāng)確定變量隊列中不存在所述隨機變量時，還包括：

將所述隨機變量輸入至所述變量隊列。