«Случай — это псевдоним Бога, когда Он не хочет подписываться своим собственным именем.» А. Франс

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

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

Вариант 2905760657.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

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