«Работать добросовестно — значит: работать, повышая свою квалификацию, проявляя инициативу в совершенствовании продукции, технологий, организации работ, оказывая не предусмотренную должностными инструкциями помощь другим сотрудникам (включая и руководителей) в общей им всем работе.

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

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

Вариант 3802782297.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

Какое покрытие не поддерживает ModelSim?

  1.  Expression coverage — покрытие выражений
  2.  Toggle coverage — покрытие принимаемых значений
  3.  FSM coverage — покрытие состояний автомата
  4.  Condition coverage — покрытие условий
  5.  Branch coverage — покрытие ветвлений
  6.  Statement coverage — покрытие состояний
  7.  Optimization coverage — покрытие состояний автомата

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

Инженер при разработке тестов ФК сам разработал фиксированный набор тестов для ситуаций которые он придумал. К какому типу эти тесты можно отнести?

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

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