specman - 约束在范围不相关时发出警告

Question

以下代码在 DEPR_NEG_OR_LARGE_SELECT_WEIGHT 上创建警告：

keep soft MyVar == select {
 0xffffffffff: 0;
 10: [1..10];
 10: [11..20];
};
keep MyVar != 0;

我希望检查只考虑相关范围......

Answer 1

0xffffffffff 不是选择权重的合法语法。只有 0 和 MAX_INT 之间的值有效。

该工具只是保护您免受非法表达的侵害。就像您编写任何其他非法代码时会出现加载/编译时错误一样。它不会试图理解更深层次的含义，或者代码是否被调用。

Answer 2

这应该足以满足您的需求。

keep soft MyVar == select {

  1: [1..10];

  1: [11..20];

};

keep MyVar != 0;

keep soft MyVar in [1..20]; // This is also enough in place of weighted random constraint.