«…лишь недалекие люди боятся конкуренции, а люди подлинного творчества ценят общение с каждым талантом…» А. Бек, Талант.

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

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

Вариант 1876782601.

Ваше имя: 

Вопрос 1

В Основные методы в верификации не входит?

  1.  Верификация моделированием;
  2.  Нормальная верификация;
  3.  Формальная верификация;
  4.  Имитационная верификация;

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

Выберите ответ, наиболее полно раскрывающий значение слова покрытие в верификации?

  1.  Тестирование качества кода
  2.  Метрика выполнения определенного параметра
  3.  Сбор значений переменных проекта
  4.  Нет верного ответа
  5.  Проверка свойств/утверждений

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

  1.  Все процессы описаны отдельно конструкцией when else
  2.  Все разбито на 2 процесса, процесс с комбинаторной логикой и процесс с элементами памяти.
  3.  Все в одном процессе, так как одно параллельное событие.
  4.  Все в разных процессах, параллельные события выполняются быстрее.
Источник — «http://simhard.com/wiki/index.php/Служебная:MediawikiQuizzer»