«Работать добросовестно — значит: работать, повышая свою квалификацию, проявляя инициативу в совершенствовании продукции, технологий, организации работ, оказывая не предусмотренную должностными инструкциями помощь другим сотрудникам (включая и руководителей) в общей им всем работе.

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

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

Вариант 1634801892.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

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

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

Какую комнду нужно выполнить, чтобы можно было запустить моделирование с обработкой 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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

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