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

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

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

Вариант 3548878973.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

coverpoint MyCP {
  bins c[2] = { 5'b11??0 };
}
  1.  нет правильных ответов
  2.  выражение задано неверно
  3.  1 корзину: [11xx0]
  4.  2 корзины: [11000, 11010], [11100, 11110]
  5.  2 корзины: 11000, 11110
  6.  4 корзины: 11000, 11010, 11100, 11110
Источник — «http://simhard.com/wiki/index.php/Служебная:MediawikiQuizzer»