Ответы на вопросы из коллекции "Моделирование, тестирование и диагностика цифровых устройств"

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

• компилятивные
• языков регистровых передач
• в виде графов
• интепретативные

Какие данные используются при вычислении значений фитнесс-функции при построении тестов?

• логического моделирования исправных схем
• логического моделирования неисправных схем
• начальной популяции особей

Что дает использование алфавитов повышенной значности?

• повышает полноту теста
• повышает адекватность
• сокращает перебор вариантов

Как строится комбинационный эквивалент?

• путем замыкания обратных связей
• путем обрыва обратных связей
• путем устранения элементов памяти

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

• функциональный блок
• идеальный ключ
• логический вентиль

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

• информационная избыточность
• адекватность
• меньшее быстродействие

Какие основные черты методов логического моделирования?

• модель сигнала
• машинная модель схемы
• быстродействие
• затраты памяти
• временной механизм распространения сигналов

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

• отслеживание путей на графах
• поиск путей на графах
• поиск замкнутых циклов на графах

Какие виды импликации применяются при построении теста 16-значном алфавите?

• прямая
• структурная
• логическая
• обратная

Сколько входных наборов генерирует алгоритм критиче-ских путей для каждого выхода схемы?

• 1
• 2
• 4

Чем отличается конкурентный метод от дедуктивного?

• методом вычисления значений логических элементов
• списками неисправностей
• значностью алфавита

На каких этапах проводится тестирование?

• производство
• проверка проектирования
• тестирование качества
• приемка
• диагностика и восстановление
• функциональный контроль
• выборочный контроль

Чему соответствует переход от структурной к физической области на диаграмме Гайского-Кана?

• оптимизация
• генерация маски
• выделение параметров

Для чего нужны теоретико-множественные формулы?

• распространение списков неисправностей через элементы
• вычисление значений сигналов элементов
• определение проверяемости неисправностей

Какой код соответствует символу F1?

• (1110)
• (0000)
• (0101)
• (1001)

Что необходимо определить для решения задачи с помощью генетического алгоритма?

• фитнесс-функция
• особь
• оператор кроссинговера
• оператор мутации

К чему сводится прямая логическая импликация?

• логическое моделирование в троичном алфавите
• логическое моделирование в 16-значном алфавите
• D-распространение

Какие конструкции используются в неисправностях ЯРП?

• логические вентили
• языковые конструкции
• транзисторы

Какое соотношение между дефектом и неисправностью?

• взаимнооднозначное
• один ко многим
• много к одному

Что применяется в проектировании цифровых устройств в поведенческой области на логическом уровне?

• булевы уравнения
• алгебраические нелинейные уравнения
• дифференциальные уравнения
• алгебраические линейные уравнения

Как моделируется замыкание двух линий в КМОП-логике?

• в зависимости от типов вентилей и характеристик
• элементом исключающее ИЛИ
• узлом ветвления

Логическое состязание обусловлено свойствами?

• функции
• схемы
• входных наборов

Какие фазы имеет процесс реализации эволюционного алгоритма генерации теста?

• моделирование неисправностей
• генетический алгоритм построения теста
• активизация неисправности
• составление диагностического словаря

Чем определяется число столбцов в особи?

• число входов схемы
• число моделируемых элементов схемы
• число выходов схемы

От каких переменных зависят логические выражения в символьном моделировании?

• от входных переменных
• от переменных состояний исправной схемы
• от переменных состояний неисправной схемы

Как могут отличаться пары состояний исправной и неисправной схем при кратной стратегии?

• в разные моменты времени
• в один и тот же момент времени
• не должны отличаться

Алфавиты какой значности используются для построения тестов для последовательностных схем?

• 5
• 16
• 10
• 12
• 3
• 9
• 6

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

• одиночная неисправность преобразуется в кратную
• псевдовходы должны остаться неопределенными
• псевдовыходы должны остаться неопределенными.

Какие входные последовательности можно использовать на этапе проверки переходов?

• синхронизирующие
• диагностические
• установочные

Что идентифицирует входная диагностическая последовательность?

• конечное состояние исправного автомата
• начальное состояние исправного автомата
• неопределенное состояние исправного автомата

От чего зависит в первую очередь сложность решения задачи выполнимости КНФ?

• число дизъюнктов
• число переменных
• число термов в дизъюнктах

Для какой схемы строится КНФ при построении теста?

• различающая функция
• исправная схема
• неисправная схема

Какая импликация используется в методе PODEM?

• прямая
• обратная
• обе

Что выбирается случайно в псевдослучайном методе по-строения тестов?

• входной набор
• неисправность
• критерий окончания генерации

При каких условиях могут возникнуть индуцированные задержки?

• изменений сигналов на линиях агрессоре и жертве нет
• изменения сигналов на агрессоре и жертве в одном направлении
• изменения сигналов на агрессоре и жертве в разных направлениях

Какую сложность имеет алгоритм обнаружения состязаний в зависимости от числа элементов?

• линейная
• квадратичная
• экспоненциальная
• полиномиальная

Каким способом, из перечисленных ниже, может быть описано ЦУ на логическом уровне в структурной области: 1) обыкновенные дифференциальные уравнения; 2)электрические схемы, 3) маска; 4) логическая схема ?

• 4
• 2
• 3
• 1

Какие группы операторов используются в языках ЯРП?

• операторы сравнения
• арифметические операторы
• битовые операции
• операции пересылки
• логические операторы
• условные операторы
• разностные операции

Чем определяется число строк в особи?

• число неисправностей в схеме
• длина тестовой последовательности
• число элементов памяти в схеме

Какие критерии окончания в псевдослучайном методе гене-рации тестов?

• время генерации
• полнота теста
• длина теста
• ширина теста

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

• одноточечный
• горизонтальный
• диагональный
• вертикальный
• однородный
• структурный

Какой метод моделирования неисправностей используется в третьей фазе эволюционного алгоритма генерации теста?

• параллельный метод по неисправностям
• параллельный метод по наборам
• совместный метод

Какая запись цели используется в методе FAN?

• синглет
• дуплет
• триплет

Какие алфавиты легко реализуются в конкурентном методе?

• двоичный
• троичный
• многозначный

Какие формальные способы построения алфавитов большей значности из исходного алфавита ?

• подмножество декартового произведения
• перечисление
• морфологический анализ
• множество всех подмножеств

Статистические данные, полученные в результате экспериментов, показывают, что эффективность сокращения ДИ с помощью хеш-функций в среднем в пять раз выше, чем сокращение с помощью масок. Вместе с тем применение хеш-функций при диагностировании ЦУ в технологическом процессе производства может привести к его замедлению. Назовите возможные причины такого замедления.

• более сложная структура словарей неисправностей при применении хеш-функций, приводящая к увеличению времени идентификации неисправности.
• подача реакций ЦУ на вход СА, реализующего хеш-функцию, иногда требует не одного, а нескольких временных тактов из-за того, что число выходов ЦУ может быть больше числа входов СА.
• необходимость внесения конструктивных изменений аппаратуры диагностирования в технологической цепочке производства ЦУ для адаптации аппаратуры при смене хеш-функции.
• построение хеш-функций требует большего времени, чем построение масок.

Целесообразно ли при поиске единой маски или множества индивидуальных масок с помощью жадных алгоритмов 1 или 2, описанных в лекциях 31 и 32, к исходной ДИ, представленной в виде СПР, применять какие-либо методы ее предварительного сокращения (к примеру, преобразования СПР в таблицу неисправностей)? Дайте обоснование любого варианта вашего ответа.

• Да, поскольку предварительное сокращение ДИ может быть весьма существенным и, следовательно, можно ожидать значительного эффекта (как по качеству, так и по времени поиска) при поиске масок для ДИ меньшего объема. Этот вывод подтверждается анализом экспериментальных данных, приведенных в лекции 33.
• Нет, поскольку применение предварительного сокращения исходной ДИ требует дополнительных временных затрат. Вместе с тем результат применения жадных алгоритмов как к исходной, так и к сокращенной ДИ, может отличаться столь незначительно, что не оправдает упомянутых предварительных временных затрат.

Какие основные операторы используются в генетическом алгоритме?

• кроссинговер
• репродукция
• мутация
• масштабирование

Что дает увеличение значности алфавита при построении теста?

• сокращение перебора
• повышение адекватности
• ускорение

Что лежит в основе динамического сжатия тестов?

• выбор вторичной неисправности
• устранение лишних тестовых наборов
• доопределение тестовых наборов

К чему может привести неисправность в бинарной диаграмме?

• исчезновение путей в графе
• появление новых путей в графе
• пересечение путей в графе

Какая импликация используется в методе FAN?

• прямая
• обратная
• в обоих направлениях

Как выполняется импликация в методе PODEM?

• моделирование в двоичном алфавите
• моделирование в 16-значном алфавите
• моделирование в 6-значном алфавите

Какие основные процедуры в конкурентном методе?

• пересечение суперсписков
• сужение суперсписков
• объединение суперсписков
• расширение суперсписков

Чему соответствует в схеме список неисправностей в дедуктивном методе моделирования неисправностей?

• внешнему выходу схемы
• логическому элементу
• линии схемы
• внешнему входу схемы

Как падает быстродействие параллельного метода при переходе на троичный алфавит?

• не падает
• в 2 раза
• в 3 раза

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

• табличным методом
• маской
• функцией

Чем обусловлена задержка сигнала в модели "задержка пути"?

• емкостной наводкой
• индуктивной наводкой
• суммарной задержкой

Какие отказы характерны для МОП-технологии?

• замыкание источника питания
• замыкание исток-сток
• обрыв между стоком, истоком и затвором
• замыкание транзистора
• обрыв сопротивления
• обрыв транзистора

Что характеризует транзисторные неисправности?

• постоянно проводящее состояние
• изменение времени распространения сигнала
• постоянно разомкнутое состояние

Чем отличается динамическое состяза-ние от статического?

• различное число входных наборов
• разные значения сигналов в начале и конце перехода

Чем отличается однопроходной алгоритм событийного моделирования от двухпроходного?

• числом обрабатываемых событий
• быстродействием
• необходимым объемом памяти
• адекватностью

Какие преимущества дает zoom таблица?

• экономия оперативной памяти
• увеличение быстродействия
• ничего не дает

Какую выходную реакцию y выдает автомат, представленный таблицей, на входную последовательность x=011 при начальном состоянии s=1 ?SX0112,13,022,14,031,04,043,12,0

• y=000
• y=101
• y=111
• y=100

Что является целью тестирования на этапе диагностики и восстановления?

• функционирования устройства в режиме on-line
• оценка срока эксплуатации устройства
• локализация дефекта в неисправном компоненте
• определение реальных аналоговых и цифровых параметров и соответствия их спецификациям
• испытание с повышенной нагрузкой

Каким способом, из перечисленных ниже, может быть описано ЦУ на логическом уровне в поведенческой области: 1)системные спецификации; 2)макроячейки,;3) булевы функции; 4) ЯРП?

• 2
• 1
• 3
• 4

Какие недостатки компилятивной мо-дели?

• необходимость разрыва обратных связей
• повторная компиляция при каждоми зменении схе-мы
• сквозное моделирование

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

• таблицу истинности булевой функции
• таблицу переходов-выходов автомата
• граф переходов-выходов автомата.

Какие пути активизируют 0-эксперименты в бинарных диаграммах?

• пути, заканчивающиеся в единичной вершине
• пути, заканчивающиеся в неопределенной вершине.
• пути, заканчивающиеся в нулевой вершине

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

• вспомогательные переменные
• дополнительные дизъюнкты
• дополнительные элементы схемы

Чем характеризуется гомогенная А-группа?

• состояния исправного и неисправного автомата дают неопределенные выходные реакции
• состояния исправного и неисправного автомата дают Различные выходные реакции
• состояния исправного и неисправного автомата дают одинаковые выходные реакции

Что дает сжатие тестов?

• уменьшает длину теста
• уменьшает время тестирования
• уменьшает полноту теста

Можно ли задачу сокращения диагностической информации свести к классической задаче о классификации объектов?

• нет, поскольку в задачах классификации каждый объект характеризуются, как правило, большим количеством числовых признаков, а в задачах сокращения диагностической информации такого рода признаки отсутствуют
• да, для этого можно воспользоваться структурой дерева решений, а в узлах дерева применять классифицирующие правила типа "если … то"
• да, для этого в качестве множества классифицируемых объектов следует рассматривать множество всех возможных неисправных модификаций ЦУ. Далее можно использовать любой алгоритм классификации

В каком порядке выполняются генетические операторы в простом генетическом алгоритме?

• кроссинговер, мутация, репродукция
• репродукция, кроссинговер, мутация
• мутация, кроссинговер, репродукция

Что является основным в операторе мутации?

• инициализация
• случайный выбор гена
• изменение значения гена
• вероятность мутации

Что представляет особь в генетическом алгоритме?

• часть решения задачи
• потенциальное решение задачи
• ограничения
• начальные условия

Что присваивается линиям схемы в процессе символьного моделирования?

• логические выражения
• неопределенные значения многозначного алфавита
• определенные значения многозначного алфавита

Что учитывается в процессе структурной импликации?

• начальное состояние
• структурные свойства схемы
• логические функции элементов

Какие фазы включает контрольный эксперимент?

• инициализация автомата
• идентификация состояний автомата
• проверка переходов автомата
• анализ состязаний

Чему соответствует комбинационный эквивалент?

• состоянию исправной схемы
• такту времени
• состоянию неисправной схемы

Что идентифицирует входная установочная последовательность?

• конечное состояние автомата
• неопределенное состояние автомата
• начальное состояние автомата

Что определяет в обратном различающем дереве тестовую последовательность?

• путь от нулевой вершины дерева до смешанной А-группы
• путь от нулевой вершины до гомогенной вершины
• путь на графе, связывающий произвольные вершины различных уровней дерева

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

• структурные методы
• верификация на основе методов доказательств теорем
• эксперименты с автоматами

Какие модели неисправностей ориентированы на бинарные диаграммы?

• константная неисправность
• короткое замыкание
• постоянная активность дуги узла
• обрыв дуги узла

На каких уровнях проектирования можно использовать бинарные диаграммы?

• уровень электрических схем
• структурный логический уровень
• функциональный логический уровень
• уровень языков регистровых передач

Что дает использование более крупных примитивов в методе SOCRATES?

• повышает адекватность
• ускорение перебора вариантов
• ничего не дает

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

• перебор путей D-распространения
• перебор значений внешних входов
• D-распространение
• доопределение

Когда входной набор включается в тест?

• он переводит схему в заданное состояние
• он имеет высокую адекватность
• он проверяет новые неисправности

Какие методы генерации тестов используются на начальном этапе?

• эвристические
• ориентированные на конкретную неисправность
• ориентированные на схему в целом

Сколько входных наборов используется для тестирования неисправности "задержка"?

• 2
• 4
• 1
• 3

С чем ассоциируется список неисправностей в конкурентном методе?

• линия схемы
• вход схемы
• логический элемент
• выход схемы

Где используется логическое моделирование?

• зондовый поиск неисправностей
• построение диагностических словарей
• анализ переходных процессов
• генерация проверяющих тестов
• анализ поведения цифровой схемы

Какие наводки превалируют в субмикронных технологиях?

• распределенные
• емкостные
• индуктивные

Что характеризует константную неисправность?

• перемежающиеся значения сигналов
• постоянно замкнутое состояние
• постоянное значение сигналов

Какой алфавит сигналов использует метод Эйхельбергера?

• 5-значный
• двоичный
• 8-значный
• троичный

Какие используются способы модели-рования временного механизма?

• последовательные массивы
• связные списки
• стеки
• очереди

Какие преимущества компиля-тивной модели?

• небольшие затраты памяти
• адекватность
• быстродействие

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

• внешнее описание схемы
• библиотека элементов
• диагностический словарь
• программа моделирования
• входные воздействия

Как могут быть описаны конечные автоматы в ЯРП?

• логической схемой на вентильном уровне
• структурной схемой
• условными операторами
• булевыми функциями

Как отражается синтез цифровых устройств на диаграмме Гайского-Кана?

• последовательный подъем по уровням абстракции
• спуск по уровням в области и чередуется с движением по оси иерархии остальных областей
• последовательный спуск по уровням абстракции
• движение по оси иерархии