Как запустить электронный файл один за другим?Не в параллельном тесте - PullRequest
0 голосов
/ 14 декабря 2018

Я новичок в specman, сейчас я пишу тестовый стенд, который я хочу дать много конкретных тестовых случаев для отладки калькулятора.

Например,

У меня есть два файла,первый называется «test1», а второй называется «test2».Вот мой код для "test1":

extend instruction_s {
       keep cmd_in_1 == ADD;
       keep din1_1 < 10;
       keep din2_1 < 10;
};
extend driver_u {
       keep instructions_to_drive.size() == 10;
};

А вот мой код для "test2":

extend instruction_s {
       keep cmd_in_1 == SUB;
       keep din1_1 < 10;
       keep din2_1 < 10;
};
extend driver_u {
       keep instructions_to_drive.size() == 10;
};

Однако, когда я пытался проверить свой код, specman показывает ошибкуКажется, я не могу так поступить.Есть ли какой-нибудь способ, которым я могу позволить specman сначала выполнить файл "test1", а затем запустить файл "test2"?Или, если есть какой-то другой способ, которым я могу достичь своей цели?

Спасибо за вашу помощь.

1 Ответ

0 голосов
/ 14 декабря 2018

Вы действительно хотите иметь один тест, который выполняет 10 инструкций ADD, и запускать другой тест, который выполняет 10 инструкций SUB?

Если это так, то обычный способ сделать это - скомпилировать ваш тестовый стенд и запуститьнесколько раз - каждый раз при загрузке другого тестового файла.

Для начала попробуйте следующее:

 xrun my_device.v my_testbench.e test1.e
 xrun my_device.v my_testbench.e test2.e
...