«…Труд избавляет человека от трех великих зол: скуки, порока, нужды…»

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

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

Вариант 3071051095.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

Куда будет сохранятся по умолчанию база содержащая информацию о покрытии?

  1.  В директорию где лежит файл modelsim.ini
  2.  Нет верного ответа
  3.  В директорию из которой производился запуск
  4.  В корневую директорию
  5.  В текущую директорию в файл .ucdb
  6.  Не будет сохранятся

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

  1.  Прозрачный
  2.  Транзакционный
  3.  Фиксированный
  4.  Случайный
  5.  Детерминистский
  6.  Стандартный
Источник — «http://www.simhard.com/wiki/index.php/Служебная:MediawikiQuizzer»