記分板和斷言檢查相結(jié)合的驗(yàn)證方法
基本信息
| 申請(qǐng)?zhí)?/td> | CN202210418194.1 | 申請(qǐng)日 | - |
| 公開（公告）號(hào) | CN114707448A | 公開（公告）日 | 2022-07-05 |
| 申請(qǐng)公布號(hào) | CN114707448A | 申請(qǐng)公布日 | 2022-07-05 |
| 分類號(hào) | G06F30/33（2020.01）I;G06F30/3323（2020.01）I;G06F30/3312（2020.01）I;G06F11/36（2006.01）I;G06F9/445（2018.01）I | 分類 | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 馬驍 | 申請(qǐng)（專利權(quán)）人 | 杭州云合智網(wǎng)技術(shù)有限公司 |
| 代理機(jī)構(gòu) | 上海洞見未來專利代理有限公司 | 代理人 | - |
| 地址 | 311203浙江省杭州市蕭山區(qū)金城路39號(hào)紫橙國(guó)際中心2號(hào)樓12層 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開了一種記分板和斷言檢查相結(jié)合的驗(yàn)證方法，包含如下步驟：在記分板里聲明uvm_event事件，用于控制斷言的使能開關(guān)變量；在UVM的phase機(jī)制中的build_phase里對(duì)uvm_event事件進(jìn)行實(shí)例化，并傳入到UVM的配置數(shù)據(jù)庫(kù)里；將所有用于檢查的斷言封裝到一個(gè)package包文件中，并可通過disable iff（）關(guān)鍵字來控制斷言的開關(guān)狀態(tài)；在package包文件中創(chuàng)建派生于uvm_object的斷言配置對(duì)象；創(chuàng)建驗(yàn)證平臺(tái)，在驗(yàn)證平臺(tái)的頂層模塊里導(dǎo)入package包文件，用于讓驗(yàn)證平臺(tái)的驗(yàn)證環(huán)境可以使用封裝好的斷言檢查和斷言配置對(duì)象；在程序控制塊里按照?qǐng)?zhí)行順序依次執(zhí)行檢查命令，獲取斷言檢查的結(jié)果，從而實(shí)現(xiàn)對(duì)記分板中追蹤到的問題的進(jìn)一步的時(shí)序及協(xié)議的信號(hào)級(jí)檢查。本發(fā)明可提高驗(yàn)證工作效率和驗(yàn)證質(zhì)量。 |
