«Бог не меняет того, что (происходит) с людьми, пока они сами не изменят своих помыслов.» Коран, Сура 12:13

Вопросы по лекции 2 (Верификация цифровых схем) — вопросы

Перейти к: навигация, поиск
12345678910
Данный тест позволит вам проверить базовые знания по Рандомизации и функциональном покрытии языка SystemVerilog

Вариант 4257018300.

Ваше имя: 

Вопрос 1

Как задать порядок решения случайных переменных с ограничениями?

  1.  Использовать ограничение вида solve … before, задающее порядок решения переменных
  2.  Перечислить переменные в нужном порядке как входные при вызове метода randomize()
  3.  Использовать ограничение вида solve … before, задающее порядок решения ограничений
  4.  Задать команду симулятора +set_lists_priority=”obj.var1, obj.var2, obj.var5”
  5.  Все из перечисленных вариантов

Вопрос 2

Какие операторы циклического перебора доступны при написании ограничений?

  1.  Оператор for
  2.  Оператор foreach
  3.  Оператор forever
  4.  Оператор repeat
  5.  Оператор case
  6.  нет правильных ответов

Вопрос 3

Допускается ли использование групповых символов при описании ограничений?

  1.  нет правильных ответов
  2.  В SystemVerilog нет такой возможности
  3.  Только для типа int
  4.  Допускается

Вопрос 4

Как выключить рандомизацию для всего класса?

  1.  Вызвать метод rand_mode(0) переменной объявленной как rand
  2.  Вызвать метод rand_mode(1) переменной объявленной как rand
  3.  Нет правильных ответов
  4.  Вызвать метод rand_mode(0) объекта класса, содержащего рандомизируемые переменные
  5.  Вызвать команду симулятора +unset_rand

Вопрос 5

10. Сколько и какие корзины задает следующее выражение? 

coverpoint MyCP {
  bins c[2] = { 5'b11??0 };
}
  1.  4 корзины: 11000, 11010, 11100, 11110
  2.  нет правильных ответов
  3.  выражение задано неверно
  4.  2 корзины: [11000, 11010], [11100, 11110]
  5.  2 корзины: 11000, 11110
  6.  1 корзину: [11xx0]

Вопрос 6

Возможно ли в SystemVerilog отключать режим рандомизации для отдельных переменных?

  1.  да
  2.  зависит от того, где объявлен класс, содержащий рандомизируемые переменные
  3.  в зависимости от симулятора
  4.  нет правильных ответов
  5.  нет

Вопрос 7

7. С помощью каких операторов можно задать условие при описании ограничений (constraint) для рандомизируемой переменной?

  1.  Оператор if ... else
  2.  Оператор case
  3.  Оператор foreach
  4.  Оператор dist
  5.  Операторы if ... else,  >
  6.  Оператор iff
  7.  Оператор  >
  8.  нет правильных ответов

Вопрос 8

9. Сколько и какие корзины задает следующее выражение? 

coverpoint MyCP {
  bins c[4] = {[14:21]};
}
  1.  нет правильных ответов
  2.  выражение задано неверно
  3.  4 корзины: [14, 15], [16, 17], [18, 19], [20, 21]
  4.  1 корзину: [14:21]
  5.  3 корзины: [14, 15, 16], [17, 18,19], [20, 21]

Вопрос 9

В каких случаях допускается использование функций в ограничениях?

  1.  Допускается, если функция возвращает значение типа real
  2.  Допускается или нет зависит от типа возвращаемого значения функции
  3.  Допускается, если функция возвращает значение типа int
  4.  Все ответы правильные

Вопрос 10

Можно ли управлять вероятностью появления значений рандомизируемой переменной?

  1.  Нет правильных ответов
  2.  Да, с помощью оператора dist
  3.  Нет, только встроенный алгоритм генерации
  4.  Да, с помощью объявления переменной как rand
  5.  Да, с помощью задания переменной симулятора SEED
Источник — «http://simhard.com/wiki/index.php/Служебная:MediawikiQuizzer»