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

Question

我想对din1和din2使用不同的约束。例如，它将先执行din1<10和din2<1000 10次，然后再执行din1<5和din2<10 10次。 我该怎么办？

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);
};