specman - 如何在 Specman e 语言中设置不同的约束或测试用例

Question

我想对 din1 和 din2 使用不同的约束。例如，它将先执行din1<10and din2<100010 次，然后执行din1<5and din2<1010 次。我怎样才能做到这一点？

标签： specman

Answer 1

这是限制结构列表的一种简单方法：

keep insts.size() == 20;

keep for each in insts {
    index < 10 =>  (it.din1 < 10 and it.din2 < 1000);
    index >= 10 => (it.din1 < 5 and it.din2 < 10);
};