verilog - 如何写过渡的覆盖点？

Question

我的 RTL 设计中有一个 N 位寄存器，我想检查测试平台是否涵盖以下特定情况:

000..0 -> 000..001 -> 000....011 -> 00...111 -> ...... -> 111....111

我不知道如何为上述内容编写一个covergroup。我可以看到过渡覆盖是如何有用的。举个例子:

covergroup cg; 
cover_point_y : coverpoint y { 
bins tran_34 = (3=>4); 
bins tran_56 = (5=>6); 
} 

但是就我而言，我的寄存器是参数化的(N 位:reg[(N-1):0])，并且它太大，无法手动写入完整序列。我可以编写一个 generate 或 for 循环来覆盖上述序列吗？

Answer 1

我不太清楚你想要涵盖哪些转换。我想您想涵盖每个值都更改为其他值。您需要记住的是，您可以在 => 运算符的任一侧写入多个值。例如:

cover_point_y : coverpoint y { 
  bins transitions = ( 0, 1 => 0, 1 );
}

这将为 0 => 0、0 => 1、1 => 0、1 => 创建 bin 1..如果我正确地解释了 BNF，根据 LRM，您放在 => 运算符两侧的值都是 covergroup_value_range 类型，这意味着任何值范围语法应该接受覆盖点。这意味着以下内容也应该是合法的:

cover_point_y : coverpoint y { 
  bins transitions = ( [0 : 2^N - 1] => [0 : 2^N - 1] );
}

这应该创建从每个值到每个其他值的转换箱。您在这里受到工具支持的支配。例如，这在我的模拟器中不起作用，但在其他模拟器中可能有效。

如果您想排除某些转换(例如，0 => 0、1 => 1 等)，这无论如何都不会帮助您，因为指定转换箱的语法表达能力不够......

别担心，有办法做到这一点。回到基础上，过渡覆盖基本上是当前值和过去值之间的交叉覆盖的一种形式。交叉覆盖允许以更多样化的方式指定垃圾箱。您需要跟踪您所覆盖的变量的先前值。您需要注意的是，只有在采样了至少 2 个值后才应该开始收集覆盖范围(以便您拥有前一个值)。通过过渡覆盖，该工具将在幕后为您完成此操作。

我能想到的最好方法是将 covergroup 包装在一个类中:

class cg_wrapper #(int unsigned WIDTH = 3);
  covergroup cg with function sample(bit [WIDTH-1 : 0] val,
    bit [WIDTH-1 : 0] prev
  );
    coverpoint val;
    coverpoint prev;

    cross prev, val;
  endgroup

  function new();
    cg = new();
  endfunction

  // ...
endclass

该类将跟踪先前的值以及是否收集了先前的值(即我们尝试对第二个值进行采样):

class cg_wrapper #(int unsigned WIDTH = 3);
  protected bit has_prev;
  protected bit [WIDTH-1 : 0] prev;

  // ...
endclass

为了确保在适当的点对覆盖率进行采样，该类将公开一个 sample(...) 函数(类似于 covergroup 的功能)，该函数负责对实际的 covergroup 进行采样并存储先前值:

class cg_wrapper #(int unsigned WIDTH = 3);
  // ...

  function void sample(bit [WIDTH-1 : 0] val);
    if (has_prev)
      cg.sample(val, prev);
    prev = val;
    has_prev = 1;
  endfunction
endclass

这将确保您获得有意义的传球。例如，使用值 0 和 1 调用 sample(...) 两次，将仅导致来自 的单个“转换” >0 到 1(即十字形中的一个箱子被填满)。

如果您想开始排除垃圾箱的“转换”，您可以使用很多不同的方法来做到这一点。例如，要排除相同的转换，您可以这样做:

cross prev, val {
  ignore_bins ignore =
    (binsof (val) && binsof (prev)) with (prev == val);
}

这会忽略 0 => 0、1 => 1、2 => 2 等类型的转换。

还有一篇来自 AMIQ Consulting 的好文章，展示了 specifying cross bins 的一些很酷的方法。 .