SystemVerilog斷言(SVA)在接口協(xié)議檢查中的實戰(zhàn)寫法
SystemVerilog UVM進階:構(gòu)建可復(fù)用的驗證環(huán)境與隨機約束沖突解決
Verilog還是SystemVerilog?基于UVM的FPGA驗證環(huán)境搭建實戰(zhàn)
老舊代碼重構(gòu):VHDL向SystemVerilog UVM環(huán)境遷移的實戰(zhàn)策略
SystemVerilog斷言在AXI-Lite總線時序驗證中的應(yīng)用
基于SystemVerilog的斷言驗證:形式化方法在FPGA算法測試中的應(yīng)用
SystemVerilog中還有一個final?block
3個SystemVerilog新特性!
基于VMM驗證方法學(xué)的MCU驗證環(huán)境
系統(tǒng)級語言SystemVerilog和SystemC的融合