
verification
介绍验证思路
lbt_dvshare
这个作者很懒,什么都没留下…
展开
-
[Verfication]如何在env中实现task/function 形参类型可变
最近在项目中遇到需要改变task/function 形参类型,寻求了一种实现方法,记录一下~~原创 2023-06-24 13:58:56 · 270 阅读 · 0 评论 -
【DV】常用读写register通用 task
1. 读写memoryvirtual task ral_access_read(input uvm_reg_block ral_blk,output uvm_state_e status,input bit[31:0] addr , output bit[31:0] data); uvm_sequence_base seq; uvm_sequence_item bus_req; uvm_sequencer_base sequencer; int unsigned b.原创 2022-04-03 09:42:12 · 666 阅读 · 0 评论 -
关于SRAM验证的一些思考
最近遇到非标准的sram:两个sram拼在一起,每个SRAM 数据位宽是128bit,对于写端:每次可能写入128bit或256bit;原创 2021-06-20 21:25:37 · 1808 阅读 · 0 评论 -
[DV] clk extend function 实现
最近有用到clock extend 功能,具体就是在clock gating功能中,在要关clock时晚几个clock关,具体晚几个clk是通过寄存器配置的。如何实现其功能呢?always(@posedge clk or negedge rst_n)begin if(~rst_b) ck_dly_cnt <= 0; else if(ck_en) ck_dly_cnt <= reg_ck_dly_cnt; else if(|ck_dly_cnt) ck_d原创 2021-03-29 13:02:40 · 334 阅读 · 0 评论 -
【DV】验证环境集成
模块级环境需要集成到系统级的环境中(主要复用checker(scoreboard & reference model)),需要做哪些改动呢?dut 的hierarchy和激励来源发生变化,涉及到的改动如下: 通过uvm_config_db set interface的部分发生变化,需要修改hierarchy; 激励由agnet变为上层module,故需要额外driveDUT 相关的interface(reference model 和scoreboard需要得到上层module的输出...原创 2020-05-24 15:52:00 · 1537 阅读 · 0 评论 -
【DV】arbiter 的验证思路
这篇文章是写arbiter 验证思路,可以借鉴。。。对于arbiter 验证,目前有了解到几种状况:1. 可以完全用reference model 来预期golden value;2. 由于HW比较复杂,需要借助HW internal signal 来判断,比如arbiter 和SRAM 空满强相关,此时就需要借助HW signal.3. check 时不care各个req...转载 2019-10-25 14:51:47 · 1732 阅读 · 0 评论 -
[DV] register中*_mask_clr and *_mask_set 的验证思路
在验证IP中时,总会遇到 irq register ,对于有些irq 如果SW 不想看可以mask,所以与irq相关的register就会包括 irq status,irq status mask ,而mask register会分为两种:mask_set, mask_clr. 对于这两种register 的验证思路有哪些呢?mask_set = 1 check status 是否被mask;...原创 2019-10-25 14:02:07 · 327 阅读 · 0 评论