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

• Автор: Новиков, Яков Андреевич
• Шифр специальности: 05.13.05
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Минск
• Количество страниц: 202 c. : ил

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.

Глава I. СОСТОЯНИЕ ИССЛЕДОВАНИЙ В ОБЛАСТИ ТЕСТОВОГО

ДИАГНОСТИРОВАНИЯ ПЛМ

1.1. Математические модели исправных и

неисправных ШИЛ

1.2. Краткий обзор методов построения проверяющих

тестов для одиночных неисправностей ПЛМ

1.3. Анализ подходов к диагностированию ратных

неисправностей ШЕЛ.

1.4. Выводы к главе 1

Глава II. СИНТЕЗ КОНТРОЛЕПРИГОДНЫХ ПЛМ ПЕРВОГО РОДА
2.1. Постановка задачи.
2.2. Компенсация неисцравностей и устранение
компенсации
2.3. Построение ПЛМ с к , 1 свойством
при 7 12,3,4.
2.4. Синтез ШЕЛ, чувствительных ко всем
одиночным коммутационным неисправностям
2.5. Заключение к главе II.
Глава III. СИНТЕЗ КОНТРОЛЕПРИГОДНЫХ ПЛМ ВТОРОГО РОДА
И ПОСТРОЕНИЕ ДЛЯ НИХ ПОЛНЫХ ТЕСТОВ
3.1. Длина минимального полного теста
3.2. Класс контролепригодных ШЕЛ второго рода
3.3. Метод синтеза контролепригодных Ш1М
второго рода
3.4. Проверка синхронизированной ГШЛ с окном
3.5. Заключение к главе III.
Глава У. МОДИФИКАЦИЯ ПЛМ ДЛЯ УДОБСТВ КОНТРОЛЯ
4.1. Построение полного теста для ПЛМ, не содержащей входного буфера из
дешифраторов.
4.2. Модифицированные ЛЛМ
4.3. Заключение к главе У
Заключение
Литература


Например, точка пересечения входной шины с выходной шиной (рис. L выходной. Может случиться, что выходная шина не имеет точек коммутации. Тогда на выходном полюсе, отнесенном к этой шине, будет реализоваться в зависимости от типа схемы или вырожден-ная элементарная конъюнкция, т. По определению вырожденная элементарная конъюнкция равна I, а вырожденная элементарная дизъюнкция - 0. Например, схема типа И, изображенная на рис. Элементарная конъюнкция является вырожденной. В ПЛМ выходные шины подсхемы 2 сливаются с входными шинами подсхемы 3, тем самым образуются сплошные шины, пронизивающие подсхемы 2 и 3. Будем называть их промежуточными шинами ПЖ. Входные шины подсхемы 2 и выходные подсхемы 3 назовем соответственно входными и выходными шинами ПЛМ. С . ПЖ с т входными, ? ПЛМ (т, ч , г). Входные и выходные шины ПЛМ, не имеющие точек коммутации, назовем незадействованными. Промежуточную шину будем называть незадействованной, если она не коммутируется ни с какой из выходных шин или коммутируется с обеими входными шинами некоторой пары. Будем считать, что незадействованным выходным и промежуточным шинам соответствуют незадействованные выходные и промежуточные полюсы ПЛМ, незадействованный входной полюс сопоставлен паре незадействованных входных шин. Все остальные шины и полюсы ПЛМ будем называть задействованны ми. На рис. ПЛМ типа И, ИЛИ), в которой незадействованными являются 3-й входной, 4-й промежуточный и 3-й выходной полюсы. Математические модели исправных ПЛМ. Структуру элементарной матричной схемы с п входными и т выходными шинами можно задать посредством булевой матрицы размера (т х п )9 в которой столбцы поставлены в соответствие входным шинам, строки - выходным, а элемент, стоящий на пересечении /-й строки и /-го столбца равен I тогда и только тогда, когда /-я входная шина коммутируется с /-й выходной. Зная тип элементарной матричной схемы и её структурную матрицу, легко найти реализуемые ею булевы функции. Структурные и функциональные свойства ПЛМ в целом описываются упорядоченной четверкой(6 , в ,^,ТИП), где в- структурная матрица второй подсхемы, результат транспонирования структурной матрицы третьей подсхемы (строкам матрицы В3 соответствуют входные, а столбцам - выходные шины подсхемы); & - булев вектор, который содержит столько же компонент, сколько выходных полюсов имеет ПЛМ, а /-я компонента принимает значение 0, если и только если с помощью выходного буфера получается инверсия его г-й входной переменной; ТИП - тип ПЛМ. Эту четверку будем называть развернутой структурн о-ф ункциона-л ь н о й матричной моделью ПЛМ. Ниже приведены матрицы 6 иб. ПЛМ, показанной на рис. Рассмотрим алгебраическую модель ПЛМ. На выходных полюсах подсхемы 2 в соответствии с её типом реализуется множество элементарных конъюнкций или множество элементарных дизъюнкций, не обязательно положительных, зависящих от входных переменных ПЛМ из множества X . В то же время на выходных полюсах подсхемы 3 реализуется система дизъюнктивных нормальных форм ДНФ от переменных множества X - в случае ПЛМ типа (И, ИЛИ), или система отрицаний ДНФ от переменных множества X - для ПЛМ типа (ИЛИ-НЕ, ИЛИ-НЕ). ДНФ {с((эс),о(. I, иначе х =х. Следовательно, функциональные свойства ПЛМ описываются парой(0(х), &) , где