[發(fā)明專(zhuān)利]基于樹(shù)回溯算法提高芯片驗(yàn)證覆蓋率的方法

在審

• 申請(qǐng)?zhí)枺?/td>: 201611186591.1
• 申請(qǐng)日: 2016-12-20
• 公開(kāi)（公告）號(hào): CN106599498A
• 公開(kāi)（公告）日: 2017-04-26
• 發(fā)明（設(shè)計(jì)）人: 薛煒澎;唐飛;陳軼昊
• 申請(qǐng)（專(zhuān)利權(quán)）人: 盛科網(wǎng)絡(luò)（蘇州）有限公司
• 主分類(lèi)號(hào): G06F17/50
• 分類(lèi)號(hào): G06F17/50
• 代理公司: 南京利豐知識(shí)產(chǎn)權(quán)代理事務(wù)所(特殊普通合伙)32256
• 代理人: 王鋒

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

本發(fā)明涉及芯片驗(yàn)證技術(shù)領(lǐng)域，具體涉及一種基于樹(shù)回溯算法提高芯片驗(yàn)證覆蓋率的方法。

背景技術(shù)

隨著芯片技術(shù)的發(fā)展，芯片的規(guī)模與復(fù)雜度越來(lái)越高，而驗(yàn)證將占據(jù)超過(guò)約70％的芯片開(kāi)發(fā)時(shí)間，驗(yàn)證已經(jīng)成為芯片開(kāi)發(fā)中的瓶頸。針對(duì)該瓶頸，在當(dāng)前的驗(yàn)證技術(shù)中普遍采用以覆蓋率為導(dǎo)向的隨機(jī)激勵(lì)與定向激勵(lì)相結(jié)合的驗(yàn)證方法。

傳統(tǒng)的方法是通過(guò)人工分析代碼的分支以及走向，再根據(jù)分支以及走向修改激勵(lì)的約束，由于大規(guī)模的芯片設(shè)計(jì)代碼量非常大，采用人工逐條的分析覆蓋率中沒(méi)有覆蓋的代碼，不僅花費(fèi)大量的時(shí)間，而且不可避免的出現(xiàn)反復(fù)，也容易由于分析的錯(cuò)誤導(dǎo)致工作量的增大。

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

針對(duì)現(xiàn)有技術(shù)的不足，本發(fā)明的主要目的在于：提出一種基于樹(shù)回溯算法提高芯片驗(yàn)證覆蓋率的方法，通過(guò)該方法可加快芯片驗(yàn)證覆蓋率的收斂速度，從而提高芯片驗(yàn)證覆蓋率。

為實(shí)現(xiàn)前述目的，本發(fā)明公開(kāi)了一種基于樹(shù)回溯算法提高芯片驗(yàn)證覆蓋率的方法，具體包括：

定義一棵邏輯樹(shù)，每個(gè)待覆蓋功能點(diǎn)為所述邏輯樹(shù)上的一個(gè)節(jié)點(diǎn)；

選擇一待覆蓋點(diǎn)為起點(diǎn)，通過(guò)回溯算法獲取從根節(jié)點(diǎn)到所述待覆蓋點(diǎn)的路徑；

根據(jù)所述路徑獲取驗(yàn)證所述待覆蓋點(diǎn)需要的配置信息。

優(yōu)選地，所述邏輯樹(shù)根據(jù)芯片功能規(guī)格書(shū)定義。

優(yōu)選地，根據(jù)所述配置信息生成相應(yīng)的驗(yàn)證激勵(lì)。

優(yōu)選地，所述激勵(lì)為定向激勵(lì)。

與現(xiàn)有技術(shù)相比，本發(fā)明的優(yōu)點(diǎn)在于：本發(fā)明公開(kāi)的一種基于樹(shù)回溯算法提高芯片驗(yàn)證覆蓋率的方法，通過(guò)對(duì)芯片功能邏輯樹(shù)的回溯實(shí)現(xiàn)生成覆蓋某一節(jié)點(diǎn)配置信息的自動(dòng)化，加快覆蓋率的收斂過(guò)程，提高了以覆蓋率為導(dǎo)向的驗(yàn)證效率。

附圖說(shuō)明

圖1是本發(fā)明一實(shí)施例提出的基于樹(shù)回溯算法覆蓋某一節(jié)點(diǎn)生成配置信息的示意圖；

圖2是本發(fā)明一實(shí)施例提出的邏輯樹(shù)示意圖；

圖3是本發(fā)明一實(shí)施例提出的以某待覆蓋點(diǎn)為起點(diǎn)進(jìn)行反溯的過(guò)程示意圖；

圖4是本發(fā)明一實(shí)施例提出的通過(guò)樹(shù)回溯算法獲取路徑示意圖。

具體實(shí)施方式

鑒于現(xiàn)有技術(shù)中的不足，本案發(fā)明人經(jīng)長(zhǎng)期研究和大量實(shí)踐，得以提出本發(fā)明的技術(shù)方案。如下將對(duì)該技術(shù)方案、其實(shí)施過(guò)程及原理等作進(jìn)一步的解釋說(shuō)明。

本發(fā)明提出一種基于樹(shù)回溯算法提高芯片驗(yàn)證覆蓋率的方法，根據(jù)芯片所實(shí)現(xiàn)的功能生成一棵邏輯樹(shù)，每一個(gè)待覆蓋點(diǎn)都是這棵邏輯樹(shù)上的一個(gè)節(jié)點(diǎn)。通過(guò)樹(shù)回溯算法得到從根節(jié)點(diǎn)到某一待覆蓋點(diǎn)的路徑信息，由此得到覆蓋該點(diǎn)的配置信息。根據(jù)配置信息，可對(duì)該待覆蓋點(diǎn)生成相應(yīng)的約束激勵(lì)，從而實(shí)現(xiàn)對(duì)該功能的芯片驗(yàn)證。采用本發(fā)明實(shí)施例所提出的方法，避免了驗(yàn)證人員對(duì)功能點(diǎn)驗(yàn)證邏輯的手動(dòng)分析，加快了芯片驗(yàn)證覆蓋率的收斂速度，從而提高芯片驗(yàn)證效率。

為了使本發(fā)明的目的、技術(shù)方案及優(yōu)點(diǎn)更加清楚明白，以下結(jié)合附圖及實(shí)施例，對(duì)本發(fā)明進(jìn)行進(jìn)一步詳細(xì)說(shuō)明。應(yīng)當(dāng)理解，此處所描述的具體實(shí)施例僅用以解釋本發(fā)明，并不用于限定本發(fā)明。

圖1是本發(fā)明一實(shí)施例提出的基于樹(shù)回溯算法覆蓋某一節(jié)點(diǎn)生成配置信息的方法示意圖，如圖1所示，通過(guò)邏輯樹(shù)生成模塊對(duì)芯片功能規(guī)格書(shū)進(jìn)行解析可以得到該芯片對(duì)應(yīng)的邏輯樹(shù)，根據(jù)該邏輯樹(shù)以某一個(gè)待覆蓋節(jié)點(diǎn)為起點(diǎn)采用樹(shù)回溯算法進(jìn)行反溯，從而根據(jù)反溯得到的路徑信息得到覆蓋該點(diǎn)所需要的配置信息或配置文件，根據(jù)相關(guān)配置信息，便可對(duì)該待覆蓋點(diǎn)進(jìn)行驗(yàn)證相關(guān)操作。

圖2～圖4是本發(fā)明一實(shí)施例提出的基于邏輯樹(shù)進(jìn)行反溯以獲取待覆蓋點(diǎn)配置信息的示意圖，如圖2所示為根據(jù)芯片所實(shí)現(xiàn)的功能生成的一棵邏輯樹(shù)，以待覆蓋點(diǎn)8.4為例，將其設(shè)為起點(diǎn)，通過(guò)回溯算法依層次進(jìn)行反溯直至到根節(jié)點(diǎn)，如圖3所示，從而得到根節(jié)點(diǎn)1.1至節(jié)點(diǎn)8.4的路徑“1.1→2.1→3.1→4.2→5.2→6.4→7.3→8.4”，如圖4所示。根據(jù)此路徑可獲得覆蓋節(jié)點(diǎn)8.4所需的配置信息，據(jù)此生成相應(yīng)的定向激勵(lì)，從而實(shí)現(xiàn)對(duì)該功能的芯片驗(yàn)證。

采用本發(fā)明實(shí)施例提出的一種基于樹(shù)回溯算法提高芯片驗(yàn)證覆蓋率的方法，通過(guò)對(duì)芯片功能邏輯樹(shù)的回溯實(shí)現(xiàn)生成覆蓋某一節(jié)點(diǎn)配置信息的自動(dòng)化，避免人工分析的過(guò)程，從而加速芯片的驗(yàn)證進(jìn)程。

應(yīng)當(dāng)理解，上述實(shí)施例僅為說(shuō)明本發(fā)明的技術(shù)構(gòu)思及特點(diǎn)，其目的在于讓熟悉此項(xiàng)技術(shù)的人士能夠了解本發(fā)明的內(nèi)容并據(jù)以實(shí)施，并不能以此限制本發(fā)明的保護(hù)范圍。凡根據(jù)本發(fā)明精神實(shí)質(zhì)所作的等效變化或修飾，都應(yīng)涵蓋在本發(fā)明的保護(hù)范圍之內(nèi)。