coverpoint 定义

上一篇 / 下一篇  2018-01-30 10:12:41

1. sequence

       bins s = (2=>3),(4=>5);

       bins a=3[* 3],3[-> 3],3[= 3];//连续重复,非连续重复,非连续重复

        依次的含义是 3=>3=>3, 3=>..=>3..=>3,3=>..=>3=>..=>3=>..=>3;

2. 条件

      coverpoint cfg.a (iff !rst_n){

                 bins a = {[0,$]};

        }

3. 数组bins

     对于未定义数组长度的bins,等分取值范围

      对于定义数组长度的bins,等分取值范围,如果不能尽除,则放到最后一个bin

      对于数组长度大于取值,则有一些bins成为空bins。


TAG:

 

评分:0

我来说两句

显示全部

:loveliness: :handshake :victory: :funk: :time: :kiss: :call: :hug: :lol :'( :Q :L ;P :$ :P :o :@ :D :( :)

日历

« 2018-02-21  
    123
45678910
11121314151617
18192021222324
25262728   

数据统计

  • 访问量: 510
  • 日志数: 11
  • 建立时间: 2018-01-29
  • 更新时间: 2018-02-08

RSS订阅

Open Toolbar