range - Specman 覆盖范围：有没有办法使用变量定义范围？

Question

我有comp_value在1 .. 100. 此外，我有一个输入变量period（范围相同）。我需要涵盖comp_values:[1..period]和2 个范围[period+1 .. 100]。像这样的东西：

cover some_event_e is {
        item period using no_collect;
        item comp_val using no_collect,
            ranges = {
                range([1..period], "Smaller_than_period");
                range([period+1..100], "Bigger_than_period");
            };
    };

（代码会导致编译错误，因为不能在范围内写入变量）。有没有办法收集保险？谢谢您的帮助。

Answer 1

范围必须是恒定的。

但是，如果我正确理解了您的意图，您可以定义新项目，例如

cover some_event_e is {
  item smaller_or_equal_than_period: bool = (comp_val in [1..period]) using 
    ignore = (not smaller_or_equal_than_period);
  item greater_than_period: bool = (comp_val in [(min(100,period+1)..100]) using
    ignore = (not greater_than_period); 
};

假设周期始终在 [1..100] 中。