[發(fā)明專利]一種芯片驗(yàn)證方法、裝置及芯片驗(yàn)證平臺

在審

• 申請?zhí)枺?/td>: 202110960991.8
• 申請日: 2021-08-20
• 公開（公告）號: CN113722163A
• 公開（公告）日: 2021-11-30
• 發(fā)明（設(shè)計(jì)）人: 符云越
• 申請（專利權(quán)）人: 浪潮電子信息產(chǎn)業(yè)股份有限公司
• 主分類號: G06F11/22
• 分類號: G06F11/22
• 代理公司: 北京集佳知識產(chǎn)權(quán)代理有限公司 11227
• 代理人: 孫曉紅

本申請公開了一種芯片驗(yàn)證方法、裝置及芯片驗(yàn)證平臺，方法包括：對預(yù)先編譯且與待驗(yàn)證芯片對應(yīng)的RTL文件進(jìn)行驗(yàn)證，判斷RTL文件是否正確；若否，則定位RTL文件中的錯(cuò)誤部分，并對錯(cuò)誤部分進(jìn)行編譯，得到重編譯部分；利用重編譯部分替換RTL文件中的錯(cuò)誤部分，得到新的RTL文件，并對新的RTL文件進(jìn)行驗(yàn)證。本申請公開的上述技術(shù)方案，對與待驗(yàn)證芯片對應(yīng)的RTL文件驗(yàn)證，在確定RTL文件不正確時(shí)定位RTL文件中的錯(cuò)誤部分，對錯(cuò)誤部分進(jìn)行編譯得到重編譯部分，并利用重編譯部分替換RTL文件中的錯(cuò)誤部分，而無需對整個(gè)RTL文件重新進(jìn)行編譯，因此，則可以縮短RTL文件編譯所花費(fèi)的時(shí)間，從而可以提高芯片的驗(yàn)證效率。

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

本申請涉及芯片驗(yàn)證技術(shù)領(lǐng)域，更具體地說，涉及一種芯片驗(yàn)證方法、裝置及芯片驗(yàn)證平臺。

背景技術(shù)

芯片驗(yàn)證是在芯片生產(chǎn)之前驗(yàn)證芯片設(shè)計(jì)是否符合芯片定義的需求規(guī)格、是否已經(jīng)完全釋放了風(fēng)險(xiǎn)，發(fā)生并更正所有的缺陷。

目前，在采用RTL(register transfer level，寄存器轉(zhuǎn)換級電路)進(jìn)行編譯和芯片驗(yàn)證時(shí)，若發(fā)現(xiàn)出現(xiàn)錯(cuò)誤，會重新編譯整個(gè)RTL文件，并利用編譯后的RTL文件重新進(jìn)行仿真和驗(yàn)證，也就是說，每當(dāng)驗(yàn)證出現(xiàn)問題，就重新編譯RTL文件，而這會耗費(fèi)大量的時(shí)間，從而會導(dǎo)致芯片驗(yàn)證效率比較低。

綜上所述，如何提高芯片驗(yàn)證效率，是目前本領(lǐng)域技術(shù)人員亟待解決的技術(shù)問題。

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

有鑒于此，本申請的目的是提供一種芯片驗(yàn)證方法、裝置及芯片驗(yàn)證平臺，用于提高芯片驗(yàn)證效率。

為了實(shí)現(xiàn)上述目的，本申請?zhí)峁┤缦录夹g(shù)方案：

一種芯片驗(yàn)證方法，包括：

對預(yù)先編譯且與待驗(yàn)證芯片對應(yīng)的RTL文件進(jìn)行驗(yàn)證，判斷所述RTL文件是否正確；

若否，則定位所述RTL文件中的錯(cuò)誤部分，并對所述錯(cuò)誤部分進(jìn)行編譯，得到重編譯部分；

利用所述重編譯部分替換所述RTL文件中的所述錯(cuò)誤部分，得到新的RTL文件，并對所述新的RTL文件進(jìn)行驗(yàn)證。

優(yōu)選的，對所述錯(cuò)誤部分進(jìn)行編譯，包括：

利用強(qiáng)制生效語句對所述錯(cuò)誤部分進(jìn)行編譯。

優(yōu)選的，定位所述RTL文件中的錯(cuò)誤部分，包括：

根據(jù)預(yù)先編譯所述RTL文件時(shí)生成的日志文件，獲取驗(yàn)證過程中生成的與所述RTL文件對應(yīng)的波形圖；

根據(jù)所述波形圖確定異常波形，根據(jù)所述異常波形定位所述RTL文件中的所述錯(cuò)誤部分。

優(yōu)選的，判斷所述RTL文件是否正確，包括：

將對所述RTL文件進(jìn)行驗(yàn)證時(shí)產(chǎn)生的驗(yàn)證結(jié)果和對應(yīng)的理想驗(yàn)證結(jié)果進(jìn)行對比；

若確定所述驗(yàn)證結(jié)果與所述理想驗(yàn)證結(jié)果不一致，則確定所述RTL文件不正確。

優(yōu)選的，在定位所述RTL文件中的錯(cuò)誤部分之后，還包括：

發(fā)出所述RTL文件不正確的提示，并對所述RTL文件中的所述錯(cuò)誤部分進(jìn)行記錄和顯示。

優(yōu)選的，在對預(yù)先編譯且與待驗(yàn)證芯片對應(yīng)的RTL文件進(jìn)行驗(yàn)證之前，還包括：

對時(shí)間進(jìn)行重置。

一種芯片驗(yàn)證裝置，包括：

第一驗(yàn)證模塊，用于對預(yù)先編譯且與待驗(yàn)證芯片對應(yīng)的RTL文件進(jìn)行驗(yàn)證，判斷所述RTL文件是否正確；

定位模塊，用于若確定所述RTL文件不正確，則定位所述RTL文件中的錯(cuò)誤部分，并對所述錯(cuò)誤部分進(jìn)行編譯，得到重編譯部分；