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

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

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

Вариант 3082447887.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

Какая из программных метрик самая трудоемкая (низкоуровневая) ?

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

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