specman

1зной

2ответ

Определите методы под глобальной единицей. Недостатки?

Я хочу определить глобальные методы. Для этого я определяю их подпись под глобальной единицей. Каковы недостатки этого? Почему это не рекомендуется?

1зной

1ответ

Мягкое ограничение на размер списка игнорируется. Зачем?

Кажется, что Specman игнорирует ограничение размера списка. Есть ли объяснение этому поведению? У меня есть этот код: m:list of uint; keep soft m == {}; В моем тесте у меня есть это ограничение: ke

0зной

2ответ

Печать сообщения об ошибке в блоке try else

У меня есть блок кода, подобный этому. try { gen <object> keeping { <constraints>}; } else { error(Failed to generate){ out(<additional debug information>); }; }; Я хотел бы и

1зной

2ответ

Specman На Fly Generation: Как ограничить список, значения которого отличаются друг от друга по крайней мере, 2

мне нужно генерировать случайные значения списка со следующим Constrain: my_list[i] not in [my_list[i-1] .. my_list[i-1] + 1] т.е. всех значений в списке отличаются друг от друга и, по меньшей мере,

0зной

1ответ

Specman: Как найти, если список байт существует в другом списке принимая порядок списка во внимание

У меня есть полезная нагрузка, которая является списками байт типа: var payload : list of byte; payload= {1;2;3;4;5;6}; var item1 :list of byte; item = {3;4;5}; var item2 :list of byte; item =