Coverpoint垃圾箱覆盖所有位

时间:2017-06-18 10:46:21

标签: system-verilog test-coverage

我只是SystemVerilog的初学者,现在我正在阅读有关报道的内容。所以我对此有疑问。如何编写封面箱以覆盖信号的所有位?

    interface allSignals;
        logic [31:0] addr;
        logic [15:0] len;
        bit trigger;

    covegroup signalOne@trigger;

        coverpoint addr; //This generates bins automatically(64 bins by 
                          default) with each bin containing 2^32/64 values

        coverpoint addr[0]; //each coverpoint covers 2 bins and 50% coverage 
        coverpoint addr[1]; //is shown even if the value is not covered in 
               ...          //that bin
               ...
        coverpoint addr[31];

        coverpoint addr{
            bins a0[] = {[0:5000]};     //should write 2^32 values which is 
            bins a1[] = {[5001:10000]}; //very complex
               ...
               ...
            }

        ad: coverpoint addr{
                bins a[100] = ad; //creates 100 bins with 2^32/100 values in 
                }                  //each bin

    endgroup

        signalOne cvr1 = new;

    endinterface

如何编写覆盖所有32位“addr”信号的封面。还有其他更好的方法吗?

1 个答案:

答案 0 :(得分:1)

您不会通过尝试访问2 ** 32地址来收集32位地址的功能覆盖范围。在具有70ns访问内存的真实硬件中,需要5分钟。鉴于软件模拟通常慢了10000倍,这需要一个月的时间。

大多数人所做的是寻找从0到1和1到0的每个位的转换。这是 toggle 的覆盖范围。虽然possible to model toggle coveragecovergroup,但大多数工具都具有内置分析功能,可以为您执行此操作。您需要查看模拟工具的用户手册。

如果您确实需要彻底测试整个4GB地址空间,则可能需要针对该任务调查formal tools而不是模拟。