Как установить различные ограничения или тестовые примеры на языке Specman e

Я хочу использовать разные ограничения для din1 и din2. Например, сначала 10 раз будут выполнены din1<10 и din2<1000, а затем 10 раз будут выполнены din1<5 и din2<10. Как я могу это сделать?

мой код


specman
person Harvey Wang    schedule 12.12.2018    source источник
comment
Пожалуйста, не публиковать изображения текста. Почему это помечено verilog ?   -  person Kevin Kruse    schedule 12.12.2018

Ответы (1)


arrow_upward
0
arrow_downward

это один простой способ ограничить список структур:

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);
};
person user3467290    schedule 13.12.2018