Алгоритмы синтеза легко тестируемых комбинационных схем и тестов для кратных константных неисправностей и неисправностей задержек путей

• Автор: Николаева, Екатерина Александровна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2011
• Место защиты: Томск
• Количество страниц: 135 с. : ил.

Введение

1 Основные понятия

1.1 Конечные автоматы

1.2 Программируемые логические блоки

1.3 Модели неисправностей

1.4 Методы диагностирования

1.4.1 Самопроверяемые схемы

1.4.2 Самотестируемые схемы

1.5 Контроленригодное проектирование

1.6 Выводы

2 Методы синтеза комбинационных схем, сохраняющие системы ДНФзадание на синтез

2.1 Факторизационные методы синтеза
2.1.1 Многоуровневый факторизационный метод синтеза
2.1.2 Модифицированный факторзационный двухуровневый метод синтеза
2.2 Синтез схем по системе ВООграфов
2.2.1 графы
2.2.2 Построение покрытия ЗВООграфа программируемыми логическими
блоками ПЛБ
2.3 Экспериментальные результаты
2.3.1 Форматы представления входных и выходных данных
2.4 Выводы
3 остроение проверяющих тестов для кратных константных
неисправностей на полюсах логических элементов комбинационных схем, построенных покрытием Яфафов программируемыми логическими блоками
3.1 Базовые неисправности ЗЖЮграфа
3.2 Свойства тестовых наборов базовых неисправностей Ж9графа
3.3 Построение тестовых наборов для одиночных константных
неисправностей полюсов логических блоков комбинационной схемы
3.4 Построение тестового набора для кратной неисправности
5графа
3.5 Построение проверяющего теста для кратных константных неисправностей на полюсах логических элементов схемы
3.6 Экспериментальные результаты
3.7 Выводы
4 Построение проверяющих тестов для неисправностей задержек путей в комбинационных схемах, полученных покрытием рафов
4.1 Построение пар тестовых наборов для обнаружения неисправностей задержек путей в комбинационной схеме
4.1.1 Выделение множества конъюнкций, содержащих переменную, сопоставляемую началу пути в схеме
4.1.2 Построение пары тестовых наборов
4.2 Свойство проверяющего теста, обнаруживающег о неисправности задержек путей
4.3 Построения пар тестовых наборов для схем, полученных покрытием систем графов 1
4.4 Экспериментальные результаты
4.5 Выводы
Заключение
Литература


А. Николаева, Ю. Республика Алтай, ГорноАлтайск, ГАГУ, сентября г Томск, . С. . Вестник Томского государственного университета. Приложение , Август Серия Математика. Кибернетика. Информатика. С. . I Ii i i VI . I, , . I., . Матросова . I. Синтез синхронных последовательностных устройств, устойчивых к кратковременным и перемежающимся неисправностям А. Ю. Матросова, В. В. Андреева, Е. Л. Николаева . Вестник ТГУ. Управление, вычислительная техника и информатика. С. 9. I i i . I., . V. v, . I i i . I., . Николаева . А. Построение проверяющих тестов для одиночных и кратных константных неисправностей на полюсах элементов схем, синтезированных на базе ПЛИСРРОЛтехнологий по системе графов Е. А. Николаева Вестник ТГУ. Управление, вычислительная техника и информатика. С. . I., . I i i . Структура и объем диссертации. Диссертация состоит из введения, 4х глав, заключения и списка используемой литературы. Объем диссертации составляет 4 страницы текста, набранного в редакторе шрифт i , размер шрифта , межстрочный интервал 1. Основное содержание работы. Во введении обосновывается актуальность задачи, решению которой посвящена диссертация, а также излагаются научная новизна и практическая значимость результатов. Первая глава диссертации содержит основные понятии из области тестирования и контролепригодного проектирования дискретных устройств. На основании приведенного обзора делается вывод о необходимости проведения исследований в области контролепригодного проектирования. Во второй главе рассматриваются методы синтеза комбинационных схем, обеспечивающие сохранение исходного представления системы булевых функций в виде системы ДНФ или системы ОДНФ, являющегося заданием на синтез. Сохранение системы означает, что полученная по построенной схеме система ДНФ представляется тем же множеством элементарных конъюнкций для каждой функции, что и исходная системазадание на синтез. В разделе 2. ДИФ, сохраняющие систему ДНФ. Предлагаются эвристики, ориентированные на минимизацию аппаратурной избыточности схем и сокращение вычислительных затрат при реализации синтеза. Предлагается модификация двухуровневого факторизационного метода синтеза, позволяющая сохранять систему ДНФ. В разделе 2. ДНФ, представленной системой графов, при покрытии графов программируемыми логическими блоками. Под покрытием системы ВООграфов ПЛБ здесь и далее понимается покрытие системы ЯОграфов 1ЮПдеревьями, реализующими функции не более чем от к переменных. Здесь к число входов ПЛБ, причем ПЛБ реализует функцию, представленную соответствующим покрывающим деревом. В третьей главе исследуются контролепригодные свойства схемы, построенной путм покрытия Юграфа программируемыми логическими блоками. Предлагается и обосновывается алгоритм построения тестового набора для произвольной кратной константной неисправности на полюсах ПЛБ рассматриваемой комбинационной схемы и алгоритм построения проверяющего теста для всех кратных константных неисправностей схемы. Показывается, что для рассматриваемого типа схем существует проверяющий тест, обладающий 0 полнотой покрытия относительно одиночных и кратных константных неисправностей на полюсах ее элементов. Шграфом. Предлагается алгоритм построения пар тестовых наборов для обнаружения неисправностей задержек путей схемы, не требующий введения дополнительного входа в комбинационную схему. Устанавливается, что для каждого пути в схеме существует пара тестовых наборов, на которой неисправность задержки пути проявляется как робастная. Исследуются свойства построенного теста. Показывается, что тест, обнаруживающий все одиночные робастные неисправности задержек путей в схеме, является также проверяющим тестом для одиночных константных неисправностей на полюсах логических элементов схемы. Также показывается, что тест, обнаруживающий все одиночные робастные неисправности задержек путей, обнаруживает все кратные неисправности задержек путей. В заключении перечисляются основные полученные результаты и формулируются основные положения, выдвигаемые на защи ту.