«Бог не меняет того, что (происходит) с людьми, пока они сами не изменят своих помыслов.» Коран, Сура 12:13

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

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

Вариант 1288143377.

Ваше имя: 

Вопрос 1

Какая команда позволит после проводить моделирование с покрытием ветвлений?

  1.  vcom +cover=xf -work $wlibname $name
  2.  vlog +cover=sxf -work $wlibname $name
  3.  vcom +cover=bf -work $wlibname $name
  4.  vsim +cover=bcsxf -work $wlibname $name
  5.  vlib +cover=bcsxf -work $wlibname $name

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

Какую комнду нужно выполнить, чтобы можно было запустить моделирование с обработкой 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 -pslfile DIGITAL_PSL.psl
  4.  vcom -93 DIGITAL_BLOCK.vhd -psl DIGITAL_PSL.psl

Вопрос 14

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

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

Вопрос 15

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

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