Введение
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 Выводы
Заключение
Литература
- Київ+380960830922