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

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

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

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

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

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

責(zé)任編輯：haq