Введение
Раздел 1. Анализ методов синтеза цифровых устройств. постановка задачи исследования 13
1. 1. Краткий обзор и анализ методов синтеза цифровых устройств 13
1.2. Постановка задачи исследования 19
Раздел 2 Основные способы представления и преобразования логических функций в обобщенной форме 23
2.1. Исходные замечания к представлению традиционных функций алгебры логики в форме обобщенных, область определения, способы представления и типы обобщенных логических функций 23
2.2. Канонические формы представления ОЛФ 29
2.3. Разработка и анализ алгоритма минимизации основных типов ОЛФ с независимыми параметрами в классе ДНФ 35
2.4. Анализ алгоритма минимизации основных типов ОЛФ с зависимыми параметрами в классе ДНФ 40
2.5. Представление и минимизация недоопределенных ОЛФ с зависимыми параметрами 47
2.6. Выводы по разделу 50
Раздел 3. Разработка и анализ алгоритма сжатия области определения функций алгебры логики и их- представлние в форме обобщенных функций с зависимыми параметрами 51
3.1. Вводные замечания к проблеме сжатия и представления области определения традиционных функций алгебры логики в форме ОЛФ 51
3.2. Неполное разложения Шеннона и его приложение к представлению функций в обобщенной форме 54
3.3. Разработка и анализ алгоритма сжатия области определения функций, заданных таблицами истинности 55
3.4 Алгоритм сжатия области определения функций, представленных в картах декомпозиции 58
3.5. Версия алгоритма сжатия области определения функций, заданных списком минтермов 61
3.6. Алгоритм сжатия области определения функций, заданных номерами наборов, представленными в двоичной системе 63
3.7. Особенности алгоритма сжатия области определения функций, заданных номерами наборов, представленными в десятичной системе 65
3.8. Принцип двойственности алгоритма сжатия области определения логических функций 68
3.9. Выводы по разделу 69
Раздел 4. Методы синтеза и анализа цифровых устройств, основанные на представлении функций в обобщённой форме 71
4.1. Разработка и анализ метода многоверсионной минимизации 73
4.2. Приложение операции сжатия области определения логических функций к анализу состязаний в комбинационных схемах 84
4.3. Приложение свойств обобщённых логических функций к синтезу быстродействующих многоразрядных компараторов 97
4.4. Разработка методов и практических рекомендаций по использованию свойств ОЛФ при синтезе цифровых устройств с перестраиваемыми параметрами 104
4.4.1. Вводные замечания 104
4.4.2. Анализ алгоритма привязки и размещения диапазона перестройки ЦА ПП с программируемой длительностью временных интервалов 106
4.4.3. Представление диапазона перестройки в картах с соседним кодированием, оптимизация его размещения 110
4.4.4. Разработка алгоритма оптимального кодирования минтермов, обеспечивающего минимизацию схемной реализации функции выхода 128
4.4.5. Приложение свойств ОЛФ с недоопределенными параметрами к синтезу НА с перестраиваемой длительностью формируемых временных интервалов 138
4.4.6. Алгоритм размещения и кодирования состояний при кратности формируемых интервалов пропорциональной половине периода синхронизирующих импульсов 145
4.4.7. Синтез многофункционального ЦА ПП (универсального программируемого интервального таймера) 150
4.4.8. Формирователь одиночных импульсов с перестраиваемой длительностью в заданном временном интервале 159
4.4.9. Формирователь одиночных интервалов времени с перестраиваемой длительностью, кратной половине периода тактирующих импульсов... 170
4.4.10. Приложение свойств ОЛФ к синтезу УЛМ с памятью, используемых в конвейерных устройствах обработки информации 178
4.4.11. Синтез многофункциональных триггерных устройств 187
4.5. Разработка и анализ метода нахождения ориентированных и неориентированных частных булевых производных 193
4.6. Разработка и анализ метода нахождения кратных булевых производных 201
4.7. Разработка и анализ метода нахождения функционально-полного класса векторных булевых производных 206
4.8. Выводы по разделу 216
Заключение 218
Список литературы 223
