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

• Автор: Али Абдалла Ибрагим
• Шифр специальности: 05.13.05
• Научная степень: Кандидатская
• Год защиты: 2002
• Место защиты: Казань
• Количество страниц: 124 с. : ил

Оглавление
Введение. .

1. Существующие методы диагностики и логического моделирования цифровых схем

1.1. Существующие методы диагностики цифровых схем . . .

1.2. Описание тестовой диагностики

1.3. Методы компактного сжатия выходных реакций. . . .

1.4. Моделирование логических схем ЭВМ. .

1.5. Методы анализа

2. Алгоритмы построения сигнатурных анализаторов

2.1. Одноканальный сигнатурный анализатор. .

2.2. Многоканальные сигнатурные анализаторы.

2.2.1. Многоканальные сигнатурные анализаторы, использованный
в работе.
2.2.2. Алгоритм построения многоканального сигнатурного анализатора. . . . . . . . . .
2.2.3. Применение многоканальных сигнатурных анализаторов для диагностики неисправностей. .
3. Методы оценки эффект ивности
3.1. Достоверность компактных методов тестирования . .
3.1.1. Достоверность сигнатурного анализа. . . . . .
3.1.2. Достоверность многоканального сигнатурного анализатора
3.1.3. Достоверность метода счта единиц. . . . . .
3.2. Алгоритм определения вероятности возникновения ошибки кратности . . . . . . . .
4. Описание программных моделей эмуляции работы цифровых схем, алгоритмов построения многоканальных сигнатурных анализаторов и оценки эффективности сигнатурных анализаторов
4.1. Возможности программ. . .
4.2. Основные принципы и правила работы с пакетом программ МюгоЬаЬ.
5. Экспериментальная часть
5.1. Машинное проектирование многоканальных сигнатурных анализаторов при работе с реальными схемами. .
5.2. Внесение и локализация ошибки, оценка достоверности работы МСА.
5.3. Примеры схем для оценки эффективности компактных методов тестирования.
5.3.1. Примеры цифровых схем, для диагностики которых рекомендуется применять метод сигнатурного анализа. . . . . .
5.3.2. Примеры цифровых схем, для диагностики которых рекомендуется применять метод счта единиц. . . . . . . .
Заключение. . . . . . . . . .
Литература


Разработана система, позволящая автоматизировать процесс проеки-рования многоканальных сигнатурных анализаторов, с проазвольным числом входов. Разработан моделирующий алгоритм, позволяющий реализовать процесс диагностики с использованием разработанной модели многоканального сигнатурного анализатора и оценить эффективность его работы. Разработана методика и моделирующий алгоритм сравнения методов компактного тестирования для различных цифровых устройств. На основе этой методики построен и практически реализован алгоритм оценки эффективности сигнатурного анализа и метода счёта единиц, что позволяет давать рекомендации по применимости того или иного метода компактной диагностики для различных типов цифровых схем. Намеченные исследования основываются на работах Ярмолика и исследованиях, проведенных на кафедре радиофизики Казанского университета преподавателями, аспирантами, магистрантами и дипломниками и являются их дальнейшим развитием. Практическая значимость. Результаты диссертации в основном носят практический характер, они могут быть рекомендованы для проектирования комбинационных схем с последующей их диагностикой и для автоматизированных системах проектирования сложных цифровых схем. Достоверность результатов н выводов. Рассмотренные в работе методы не оставлены на уровне идей и методических рекомендаций, а доведены до расчётных формул. Диссертация состоит из введения пяти глав и заключения. В первой главе рассматриваются существующие методы диагностики и логического моделирования цифровых схем. Во второй главе были рассмотрены математические модели и алгоритмы построения сигнатурных анализаторов, одноканальный сигнатурный анализатор и многоканальные сигнатурные анализаторы его применение для диагностики. В третьей главе рассматриваются возможные оценки эффективности методов компактного тестирования с помощью сигнатурного анализа одноканального и многоканального и методом счёта единиц. Сделоно сравнение двух методов компактного тестирования (метод счета единиц и сигнатурный анализ), оценена эффективность методов. Для этого необходимо создать одинаковые условия для их работы. Так как метод счета единиц может работать только со счетчиковыми последовательностями, то и для сигнатурного анализа будем брать генератор счетчиковых последовательностей. Возможности программ. Был разработан комплекс программ, объединенных в единый пакет МюгоЬаЬ. МСА. Рассматриваются основные принципы и правила работы с пакетом программ. В пятой главе рассматривается экспериментальная часть. Предлагается машинное проектирование многоканальных сигнатурных анализаторов при работе с реальными схемами, примеры цифровых схем, для диагностики которых рекомендуется применять метод сигнатурного анализа и примеры цифровых схем, для диагностики которых рекомендуется применять метод счёта единиц. В заключении представлены основные результата работы, выводы и рекомендации. В приложении приведены внедрения. Для выбора наиболее подходящего метода поиска неисправностей необходимо рассмотреть их классификацию, которая приведена на рис. Все существующие методы диагностики цифровых схемы можно разделить на классические и компактные. Тезисно такая классификация рассмотрена ниже. В основе классических методов диагностики лежат способы генерации тестовых последовательностей, которые можно разделить на две группы. К первой группе относятся способы нахождения входных наборов, которые обнаруживают заданные неисправности. Ко второй группе относятся способы нахождения неисправностей, обнаруживаемых заданными входными наборами, называемые моделированием неисправностей []. Способы генерации тестовой последовательности, которые позволяют получить тесты для всех возможных неисправностей, за исключением избыточных, называют алгоритмическими. При алгоритмических способах генерации тестов в общем случае решаются две основные задачи: задача обеспечения наблюдаемости неисправности в точке возникновения и задача её транспортировки на один из внешних выходов схемы. Для этих целей в настоящее время используются различные подходы и методы, реализующие как эвристические, так и строгие формальные алгоритмы.