Как установить различные ограничения или контрольные примеры на языке 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);
};