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

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

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

Вариант 2354817091.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

Какую комнду нужно выполнить, чтобы можно было запустить моделирование с обработкой PSL файла?

  1.  vpsl -93 DIGITAL_BLOCK.vhd -psl DIGITAL_PSL.psl
  2.  vcom -93 DIGITAL_BLOCK.vhd -psl DIGITAL_PSL.psl
  3.  vcom -93 DIGITAL_BLOCK.vhd -pslf DIGITAL_PSL.psl
  4.  vcom -93 DIGITAL_BLOCK.vhd -pslfile DIGITAL_PSL.psl

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

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