斷言是一種條件語(yǔ)句，通過(guò)標(biāo)記錯(cuò)誤繼而捕獲錯(cuò)誤來(lái)指示設(shè)計(jì)的不正確行為。斷言用于驗(yàn)證處于不同生命周期階段（例如形式驗(yàn)證、動(dòng)態(tài)驗(yàn)證、運(yùn)行時(shí)監(jiān)控和仿真）的硬件設(shè)計(jì)。基于斷言的驗(yàn)證為設(shè)計(jì)和驗(yàn)證過(guò)程提供了顯著的好處。它有助于輕松地檢測(cè)功能錯(cuò)誤，讓用戶(hù)能

夠查找更接近實(shí)際問(wèn)題根源的錯(cuò)誤，以及確保在設(shè)計(jì)流程的早期找出錯(cuò)誤。斷言為整個(gè)設(shè)計(jì)和驗(yàn)證周期帶來(lái)了諸多直接好處；因此，工程師在斷言的編碼和測(cè)試過(guò)程中遇到的任何挑戰(zhàn)，都值得加以解決。

UVM 中的回調(diào)是一種用于改變驗(yàn)證組件（例如驅(qū)動(dòng)器或監(jiān)視器）的行為而無(wú)需實(shí)際更改組件代碼的機(jī)制。Uvm_callback 類(lèi)提供了用于實(shí)現(xiàn)回調(diào)的基類(lèi)。從 uvm_callback擴(kuò)展類(lèi)并非推薦的編碼實(shí)踐，因?yàn)檫@可能導(dǎo)致一些潛在的排序問(wèn)題。在 Siemens Digital Industries Software 下屬部門(mén) Siemens EDA 所提供的 Questa Verification IP(QVIP) 中，回調(diào)是通過(guò)擴(kuò)展基類(lèi)并為其填充必要的方法來(lái)實(shí)現(xiàn)的，以達(dá)成諸如將某個(gè)序列項(xiàng)替換為另一個(gè)包含一組新屬性的序列項(xiàng)之類(lèi)的回調(diào)實(shí)現(xiàn)。

斷言驗(yàn)證通常構(gòu)成整個(gè)驗(yàn)證 IP 開(kāi)發(fā)周期不可或缺的一部分。第一步是編寫(xiě)斷言，第二步是通過(guò)所謂的 “錯(cuò)誤注入” 來(lái)對(duì)這些斷言場(chǎng)景進(jìn)行驗(yàn)證。回調(diào)對(duì)于此激勵(lì)生成步驟可能非常有益，因?yàn)轵?yàn)證工程師不必修改源代碼，而只需改變擴(kuò)展的類(lèi)便能測(cè)試不同的場(chǎng)景。這在 PCIe之類(lèi)基于數(shù)據(jù)包的協(xié)議中特別有用，因?yàn)檫@類(lèi)協(xié)議中的字段會(huì)被損壞，而通過(guò)回調(diào)可以提供精細(xì)的控制。因此回調(diào)可提高整個(gè)驗(yàn)證過(guò)程的功效，使其更加穩(wěn)定可靠。

原文標(biāo)題：免費(fèi)下載 | 使用UVM回調(diào)簡(jiǎn)化斷言驗(yàn)證

文章出處：【微信公眾號(hào)：Mentor明導(dǎo)】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。

責(zé)任編輯：haq