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

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

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

Вариант 301602382.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

Чем отличается блок формирования входных воздействий (ФВВ) от тестов ФК?

  1.  Тесты ФК применяются для формирования входных сигналов, а блок ФВВ для выходных;
  2.  Тесты ФК могут менять во время выполнения свои значения, а блок не может;
  3.  Блок формирования воздействий имеет текстовый формат, а тесты ФК vhdl формат;
  4.  Блок ФВВ в зависимости от сигналов генерируемых в модели может менять воздействий, а тесты ФК нет;

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

  1.  vcom -93 DIGITAL_BLOCK.vhd -pslf DIGITAL_PSL.psl
  2.  vcom -93 DIGITAL_BLOCK.vhd -pslfile DIGITAL_PSL.psl
  3.  vpsl -93 DIGITAL_BLOCK.vhd -psl DIGITAL_PSL.psl
  4.  vcom -93 DIGITAL_BLOCK.vhd -psl DIGITAL_PSL.psl
Источник — «http://simhard.com/wiki/index.php/Служебная:MediawikiQuizzer»