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

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

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

Вариант 2025702283.

Ваше имя: 

Вопрос 1

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

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

Вопрос 2

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

  1.  Все процессы описаны отдельно конструкцией when else
  2.  Все разбито на 2 процесса, процесс с комбинаторной логикой и процесс с элементами памяти.
  3.  Все в разных процессах, параллельные события выполняются быстрее.
  4.  Все в одном процессе, так как одно параллельное событие.

Вопрос 3

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

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

Вопрос 4

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

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

Вопрос 5

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

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

Вопрос 6

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

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

Вопрос 7

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

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

Вопрос 8

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

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

Вопрос 9

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

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

Вопрос 10

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

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

Вопрос 11

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

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

Вопрос 12

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

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

Вопрос 13

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

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

Вопрос 14

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

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

Вопрос 15

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

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