功能覆盖率的写法

0、功能覆盖率:一方面可以证明验证点的覆盖,另一方面是服务于随机场景,如果你在场景中可以构造全遍历场景,则功能覆盖率不一定是必须;

1、标准写法见绿皮书

2、工作用见到的一种非正规写发,但是可以用(不推荐)

cross_p :cross wr_p,addr_refion_p
{
    bins mst_pbar_rd_paddr = binsof(wr_p.read_b)&&binsof(addr_refion_p.paddr)
    bins mst_pbar_wr_paddr = binsof(wr_p.write_b)&&binsof(addr_refion_p.paddr)
}

        优点是:可以指定一个覆盖点中的一个仓和另外一个覆盖点中的一个仓进行交叉,但是不是绿皮书推荐写法,暂不提倡。

3、收集覆盖率可以使用vcs、ius两种工具,vcs对应的覆盖率分析工具是dve,ius对应的覆盖率分析工具是imc;

  • dve的打开方式是;dve -full64 ./simv.vdb/ &
  • 其中vdb文件是跑出来的覆盖率收集结果文件

4、rst信号的采集,一般rst功能点收集包含:高电平、低电平、0到1、1到0;二次复位情况下需要对电平持续时间进行判断,见绿皮书:P266,常见写发如下:

  • bins sec_rst = (0=>1[*1:9000000]=>0[*1:9000]=>1);
     
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值