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

Верификация описания — вопросы

Перейти к: навигация, поиск
12345678910
1112131415
Данный тест позволит Вам проверить свои знания в области верификации VHDL-описания

Вариант 1268600308.

Ваше имя: 

Вопрос 1

Оказывает PSL код влияние на результат синтеза описания ?

  1.  Нет верного ответа
  2.  Да, если записан в специальных комментариях
  3.  Нет
  4.  Нет,если записан в специальных комментариях

Вопрос 2

Какой покрытие позволяет добавить ключ x в команде vcom +cover="ключ" -work $wlibname $name ?

  1.  Покрытие условий
  2.  Покрытие принимаемых битами значений ( 0\1\Z )
  3.  Покрытие принимаемых битами значений ( 0\1 )
  4.  Покрытие ветвлений
  5.  Покрытие состояний
  6.  Покрытие состояний конечного автомата

Вопрос 3

Во время работы над проектом менеджер дал распоряжение: -После того как вы (верификаторы) будете находить меньше 10 ошибок в неделю, проект будет готов на 90%. Какой метрикой пользовался менеджер, когда оценивал полноту проверки проекта.

  1.  Автоматно-метрический подход
  2.  Программные метрики
  3.  Эвристические метрики
  4.  Мониторинг событий
  5.  Моделирование неисправностей

Вопрос 4

Чем отличается блок формирования входных воздействий (ФВВ) от тестов ФК?

  1.  Тесты ФК применяются для формирования входных сигналов, а блок ФВВ для выходных;
  2.  Тесты ФК могут менять во время выполнения свои значения, а блок не может;
  3.  Блок ФВВ в зависимости от сигналов генерируемых в модели может менять воздействий, а тесты ФК нет;
  4.  Блок формирования воздействий имеет текстовый формат, а тесты ФК vhdl формат;

Вопрос 5

Какое описание лучше с точки зрения скорости моделирования?

  1.  Все в одном процессе, так как одно параллельное событие.
  2.  Все разбито на 2 процесса, процесс с комбинаторной логикой и процесс с элементами памяти.
  3.  Все процессы описаны отдельно конструкцией when else
  4.  Все в разных процессах, параллельные события выполняются быстрее.

Вопрос 6

Какой покрытие позволяет добавить ключ f в команде vcom +cover="ключ" -work $wlibname $name ?

  1.  Покрытие принимаемых битами значений ( 0\1 )
  2.  Покрытие ветвлений
  3.  Покрытие состояний конечного автомата
  4.  Покрытие принимаемых битами значений ( 0\1\Z )
  5.  Покрытие состояний
  6.  Покрытие условий

Вопрос 7

Какая среда моделирования продукт ф. Synopsis?

  1.  NC-Sim®
  2.  QuestaSim®
  3.  VCS-MX®
  4.  Active-HDL™
  5.  ModelSim®
  6.  Riviera-PRO™

Вопрос 8

Инженер при разработке тестов ФК сам проверил в схеме как передаются данные через com-порт. К какому типу эти тесты можно отнести?

  1.  Прозрачный
  2.  Случайный
  3.  Фиксированный
  4.  Стандартный
  5.  Детерминистский
  6.  Транзакционный

Вопрос 9

Какая среда моделирования продукт ф. Aldec?

  1.  VCS-MX®
  2.  QuestaSim®
  3.  ModelSim®
  4.  Riviera-PRO™
  5.  NC-Sim®

Вопрос 10

Какая команда позволит после проводить моделирование с покрытием ветвлений?

  1.  vlib +cover=bcsxf -work $wlibname $name
  2.  vcom +cover=xf -work $wlibname $name
  3.  vlog +cover=sxf -work $wlibname $name
  4.  vcom +cover=bf -work $wlibname $name
  5.  vsim +cover=bcsxf -work $wlibname $name

Вопрос 11

Для снижения занимаемой памяти при моделировании в тестовом окружении какой VHDL-тип данных лучше использовать?

  1.  variable
  2.  boolean
  3.  integer
  4.  signal

Вопрос 12

Если добавить в проект ошибку и запустить моделирование. Какой подход мы будем использовать в этом случае?

  1.  Программных метрик
  2.  Мониторинг событий
  3.  Автоматно-метрический подход
  4.  Моделирование неисправностей
  5.  Эвристических метрик

Вопрос 13

Какие конструкции не описать на языке PSL для контроля модели?

  1.  Временная логика (Temporal logic)
  2.  Последовательности (Sequences)
  3.  Свойства/утверждения (Property)
  4.  Зависимости (Depending)
  5.  Булева логика (Boolean logic)

Вопрос 14

Какой покрытие позволяет добавить ключ t в команде vcom +cover="ключ" -work $wlibname $name ?

  1.  Покрытие состояний
  2.  Покрытие принимаемых битами значений ( 0\1\Z )
  3.  Покрытие условий
  4.  Покрытие принимаемых битами значений ( 0\1 )
  5.  Покрытие состояний конечного автомата
  6.  Покрытие ветвлений

Вопрос 15

Какая среда моделирования продукт ф. Cadence?

  1.  ModelSim®
  2.  NC-Sim®
  3.  QuestaSim®
  4.  Active-HDL™
  5.  VCS-MX®
  6.  Riviera-PRO™
Источник — «http://www.simhard.com/wiki/index.php/Служебная:MediawikiQuizzer»