- •Основы прикладной теории цифровых автоматов
- •Основы прикладной теории цифровЫх автоматов
- •Оглавление
- •Предисловие
- •Глава 1. Информационные основы цифровых автоматов
- •1.1. Информация и общие принципы ее преобразования
- •1.2. Обмен информацией между различными информационными устройствами
- •1.3. Аппаратные средства хранения и обработки информации
- •1.4. Общие понятия о цифровом автомате и алгоритме
- •Глава 2. Представление числовой информации в цифровом автомате
- •2.1. Системы счисления и понятие кода
- •2.2. Выбор системы счисления
- •2.3. Формальные правила двоичной арифметики
- •2.4. Перевод числа из одной позиционной системы счисления в другую
- •Глава 3. Формы представления чисел в цифровых автоматах
- •3.1. Форма представления двоичных чисел с фиксированной запятой
- •3.2. Представление отрицательных чисел в формате с фиксированной запятой
- •3.3. Форма представление чисел с плавающей запятой
- •3.4. Перевод чисел из формата с фиксированной запятой в формат с плавающей запятой и обратно
- •3.5. Погрешности представления чисел
- •20 [A]ф 2n - 1 для целых чисел
- •Глава 4. Арифметические действия с двоичными числами
- •4.1. Сложение двоичных чисел
- •4.1.1. Алгебраическое сложение чисел, представленных в форме с фиксированной запятой
- •4.1.2. Переполнение разрядной сетки
- •4.1.3. Модифицированный прямой, обратный и дополнительный код
- •4.1.4. Алгебраическое сложение чисел, представленных в форме с плавающей запятой
- •4.2. Умножение двоичных чисел
- •4.2.1. Методы умножения двоичных чисел
- •4.2.2. Умножение чисел, представленных в форме с фиксированной запятой
- •4.2.3. Умножение чисел, представленных в форме с плавающей запятой
- •4.2.4. Ускорение операции умножения
- •4.3. Деление двоичных чисел
- •4.3.1. Деление двоичных чисел, представленных в форме с фиксированной запятой.
- •4.3.2. Деление двоичных чисел, представленных в форме с плавающей запятой.
- •4.4. Оценка точности выполнения арифметических операций
- •4.4.1. Погрешность округления
- •Глава 5. Выполнение операций над десятичными числами
- •5.1. Представление десятичных чисел в д-кодах
- •5.2. Формальные правила поразрядного сложения в д-кодах
- •5.3. Представление отрицательных чисел в д-кодах
- •5.4. Выполнение операций сложения и вычитания в д-кодах
- •5.5. Умножение чисел в д-кодах
- •5.6. Деление чисел в д-кодах
- •5.7. Перевод чисел из д-кода в двоичный и из двоичного в д-код
- •Глава 6 контроль работы цифрового автомата
- •6.1. Основные понятия теории кодирования
- •6.2. Кодирование по методу четности-нечетности
- •6.3. Коды Хеминга
- •6.4. Контроль по модулю
- •6.5. Контроль арифметических операций
- •Глава 7. Основы алгебры логики
- •7.1. Основные понятия алгебры логики
- •7.2. Свойства элементарных функций алгебры логики
- •7.3. Аналитическое представление функций алгебры логики
- •7.4. Совершенные нормальные формы
- •7.5. Системы функций алгебры логики
- •7.6. Числовое и геометрическое представление логических функций
- •Глава 8. Упрощение и минимизация логических функций
- •8.1. Задача минимизации
- •8.2. Метод Квайна и импликантные матрицы
- •8.3. Метод Карно (диаграммы Вейча)
- •Глава 9. Методы анализа и синтеза логических электронных схем
- •9.1. Логические операторы электронных схем или цепей
- •9.1.1. Задачи анализа и синтеза электронных схем
- •9.2. Синтез логических схем с одним выходом
- •9.3. Электронные схемы с несколькими выходами
- •9.4. Временные булевы функции и последовательностные автоматы
- •Глава 10. Введение в теорию автоматов и структурный синтез цифровых автоматов
- •10.1. Основные понятия и определения
- •10.2. Методы структурного синтеза и языки описания цифровых автоматов
- •10.3. Элементарный автомат (триггерный элемент)
- •10.4. Синтез цифрового автомата с памятью
- •Глава 11 алгоритмы реализации арифметических действий в цифровых автоматах
- •11.1. Общие принципы разработки алгоритмов
- •11.2. Алгоритмы реализации арифметических действий с операндами, представленными в форме с фиксированной запятой
- •11.2.1.Сложение и вычитание
- •11.2.2. Умножение
- •11.2.3. Деление
- •11.3 Алгоритмы реализации арифметических действий с операндами, представленными в форме с плавающей запятой
- •11.3.1. Сложение и вычитание
- •11.3.2. Умножение
- •11.3.3. Деление
- •11.4. Блок-схемы регистра накапливающего сумматора
- •11.4.1. Для работы с обратным кодом
- •11.4.2. Для работы с дополнительным кодом
- •11.5. Алгоритм извлечения квадратного корня операнда с плавающей запятой
- •Определения основных понятий и терминов
- •Литература
9.1.1. Задачи анализа и синтеза электронных схем
Для анализа электронных схем с помощью аппарата алгебры логики нужно найти логическую функцию, описывающую работу заданной схемы. При этом исходят из того, что каждому функциональному элементу электронной схемы можно поставить в соответствие логический оператор. Этим самым устанавливается однозначное соответствие между элементами схемы и ее математическим описанием.
Анализ электронной схемы проводится в три этапа:
1) из принципиальной схемы удаляются все несущественные вспомо-гательные элементы, которые не влияют на логику работы схемы;
2) через логические операторы выражают все электронные элементы, получая логическое уравнение, которое является моделью функции, выполняемой заданной схемой;
3) любым способом получают МНКФ и МНДФ этого уравнения и тем самым выявляют лишние части анализируемой схемы, если конечно они в ней есть.
Изъятие лишних частей упрощает схему и тем самым улучшает ее технические характеристики.
Задачу синтеза электронных схем можно сформулировать следующим образом: при заданных входных переменных и известной выходной функции спроектировать логическое устройство, которое реализует эту функцию. Следовательно, в результате решения задачи синтеза возникает логическая схема, воспроизводящая заданную функцию.
Обычно, решая задачи анализа и синтеза, используют полные базисы логических функций. При этом каждую логическую функцию, входящую в базис, сопоставляют с некоторым физическим электронным элементом, что позволяет логическую схему заменить структурной схемой, состоящей из электронных элементов.
Таким образом, удается соединить математическую задачу синтеза логической схемы с инженерной задачей проектирования электронной схемы. При разработке электронной схемы за основные критерии принимают минимум аппаратуры, минимум типов применяемых элементов, максимум быстродействия и надежности .
С точки зрения математической логики задача синтеза решается при обеспечении минимального числа логических операторов, минимального количества типов логических операторов. Можно сформулировать после-довательно решаемые задачи при синтезе электронной схемы:
- составление математического описания (системы логических уравнений), адекватно отображающего процессы, происходящие в схеме;
- анализ логических уравнений и получение минимальной формы для каждого из них в заданном базисе;
- переход от логических уравнений к логической (структурной) схеме посредством применения логических операторов.
Таким образом, синтез электронных схем начинается с задания входных переменных и выходной функции или выходных функций. Очевидно, что все это может быть заданно или соответствующей таблицей истинности, или же аналитически. В любом случае следующим этапом синтеза является процедура получения любым методом МНДФ и МНКФ соответствующего логического уравнения или уравнений
Далее на основании полученных МНДФ и МНКФ синтезируются структурные или функциональные схемы нескольких вариантов синтезируемой электронной схемы с использованием различных базисов. После этого выбирается в качестве окончательного варианта та структурная схема, которая имеет минимальное число логических электронных элементов, минимальное количество типов этих элементов и минимальную "глубину" синтезируемой схемы.
Под термином "глубина" в данном случае понимается число логических элементов на пути сигнала от входа в схему до выхода. Минимальная глубина обеспечивает минимальную задержку реакции схемы на изменение сигналов на ее входах при выбранном типе (серии) электронных элементов синтезируемой схемы.
Задача синтеза, как правило, имеет различные решения в зависимости от выбранной системы логических элементов. Однако для любой заданной функции алгебры логики почти всегда можно синтезировать схему, соответствующую этой функции. Получение схемы с минимальным коли-чеством логических связок требует нахождения минимальной формы для логической функции.