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

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

Автор: Новиков, Яков Андреевич

Шифр специальности: 05.13.05

Научная степень: Кандидатская

Год защиты: 1984

Место защиты: Минск

Количество страниц: 202 c. ил

Артикул: 4029297

Автор: Новиков, Яков Андреевич

Стоимость: 250 руб.

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

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
Глава 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(х), &) , где

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.457, запросов: 244