SystemVerilog的覆蓋率建模方式
為了確保驗(yàn)證的完備性,我們需要量化驗(yàn)證目標(biāo)。SystemVerilog提供了一套豐富的覆蓋率建模方式....
基于DUT內(nèi)部寄存器值的鏡像
寄存器模型保持著DUT內(nèi)部寄存器值的 鏡像(mirror) 。 鏡像值不能保證是正確的,因?yàn)榧拇嫫髂?...
淺析UVM中的Virtual Sequences
在一個系統(tǒng)級的驗(yàn)證環(huán)境中,多個驗(yàn)證組件并行地產(chǎn)生激勵。測試用例開發(fā)者可能希望協(xié)調(diào)多個通道激勵之間的時....

uvm中的Scoreboards介紹
在驗(yàn)證過程中讓DUT進(jìn)入特定場景只是驗(yàn)證的重要部分之一,驗(yàn)證環(huán)境還應(yīng)該檢查來自DUT的輸出響應(yīng)。

創(chuàng)建約束隨機(jī)測試目標(biāo)
為了實(shí)現(xiàn)驗(yàn)證目標(biāo),測試用例開發(fā)者需要控制測試激勵的生成以覆蓋特定的場景。測試用例開發(fā)者可以用下面這些....

可重用的驗(yàn)證組件中構(gòu)建測試平臺的步驟
本文介紹了從一組可重用的驗(yàn)證組件中構(gòu)建測試平臺所需的步驟。UVM促進(jìn)了重用,加速了測試平臺構(gòu)建的過程....

介紹從一組可重用的驗(yàn)證組件中構(gòu)建測試平臺所需的步驟
本文介紹了從一組可重用的驗(yàn)證組件中構(gòu)建測試平臺所需的步驟。UVM促進(jìn)了重用,加速了測試平臺構(gòu)建的過程....

在驗(yàn)證環(huán)境中開發(fā)Checks和Coverage的步驟
Checks和coverage是覆蓋率驅(qū)動的驗(yàn)證流程的關(guān)鍵。在驗(yàn)證環(huán)境中,Checks和covera....

管理test case結(jié)束機(jī)制介紹
UVM中每個phase都有一個內(nèi)置的objection ,為components和objects提供....
基于UVM驗(yàn)證環(huán)境開發(fā)測試流程
驗(yàn)證環(huán)境用戶需要創(chuàng)建許多測試用例來驗(yàn)證一個DUT的功能是否正確,驗(yàn)證環(huán)境開發(fā)者應(yīng)該通過以下方式提高測....

Easier UVM Code Generator Part 4:生成層次化的驗(yàn)證環(huán)境
本文使用Easier UVM Code Generator生成包含多個agent和interface....
創(chuàng)建UVM Driver的步驟
Driver的作用是從sequencer中獲得數(shù)據(jù)項(xiàng),按照接口協(xié)議將數(shù)據(jù)項(xiàng)驅(qū)動到總線上。

UVM Transaction-Level Modeling (TLM)概述
驗(yàn)證生產(chǎn)力的關(guān)鍵之一是在一個合適的抽象級別上考慮驗(yàn)證問題。也就是說,在驗(yàn)證DUT時應(yīng)該創(chuàng)建一個支持適....
Easier UVM Code Generator Part 2:添加用戶定義的代碼
在本文中,我們將進(jìn)一步實(shí)現(xiàn)monitor和coverage collector components....
Easier UVM Code Generator Part 1: 運(yùn)行仿真
在運(yùn)行uvm代碼生成器后,我們現(xiàn)在可以開始運(yùn)行仿真。同樣,我們將命令行放入腳本文件中