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

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

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

Вариант 934486178.


Ваше имя: 


Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

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