- •Математичні основи цифрової техніки
- •Відображення інформації у цифровій техніці
- •Перетворення числової інформації
- •Двійкова арифметика
- •Основні поняття та закони бульової алгебри
- •Властивості логічних функцій
- •Форми зображення логічних функцій
- •Мінімізація логічних функцій
- •Структурна реалізація логічних функцій
- •Загальні відомості про цифрові автомати
- •Різновиди цифрових автоматів та особливості їх функціонування
- •Загальні питання синтезу цифрових автоматів
- •Схемотехніка цифрових елементів
- •Види цифрових сигналів, та способи їх передачі
- •Класифікація цифрових елементів
- •Основні характеристики та параметри цифрових мікросхем
- •Порівняльні характеристики цифрових мікросхем
- •Схеми логічних елементів
- •Елементи з розширеними функціональними можливостями
- •Cинтезовані логічні елементи
- •Логічні елементи з відкритим колектором
- •Тристановий драйвер
- •Інтерфейсні мікросхеми
- •Узгоджувачі рівнів
- •Завадостійкість цифрових пристроїв
- •Імпульсні схеми на цифрових елементах
- •Формувачі
- •Генератори
- •Пристрої для перетворення цифрової інформації
- •Шифратори та дешифратори
- •Мультиплексори та демультиплексори
- •Синтез комбінаційних пристроїв на дешифраторах
- •Синтез комбінаційних пристроїв на мультиплексорах
- •Перетворювачі кодів
- •Арифметичні пристрої
- •Арифметичні суматори
- •Цифрові компаратори
- •Арифметико-логічні пристрої
- •Програмовані логічні матриці
- •Контрольні запитання по розділу
- •Послідовнісні пристрої
- •Особливості функціонування послідовнісних пристроїв
- •Особливості синтезу послідовнісних пристроїв
- •Тригер – найпростіший зaпам’ятовувальний пристрій
- •Загальна структура та класифікація тригерів
- •Рiзновиди тригерів
- •Регістри
- •Регістри пам’яті
- •Регістри зсуву
- •Лічильники
- •Класифікація лічильників
- •Лічильники з послідовним переносом
- •Реверсивні лічильники
- •Лічильники з довільним модулем лічби
- •Кільцеві лічильники та лічильники Джонсона
- •Контрольні запитання по розділу
- •Інтегральні запам'ятовувальні пристрої
- •Загальні відомості
- •Оперативні запам'ятовуючі пристрої
- •Статичні запам'ятовувачі віс озп
- •Динамічні запам'ятовувачі віс озп
- •Принцип побудови і структура віс озп
- •Принцип побудови і структура пзп
- •Електрично перепрограмовувані пзп
-
Структурна реалізація логічних функцій
Наступним кроком після мінімізації логічної функції є побудова її структурної схеми. Цей етап проектування належить до структурного синтезу цифрового пристрою. Початковими даними для виконання структурного синтезу логічної схеми автомата є, як правило, МДНФ або МКНФ логічної функції, а для багатозначної функції - система логічних Функцій, що зображені у МДНФ або у МКНФ.
Задачу структурної реалізації логічної функції (або функцій) сформулюємо так: для заданих вхідних змінних на наборах яких визначена (або частково визначена) логічна функція, що зображена у МДМФ або у МКНФ, побудувати структурну логічну схему, яка б реалізувала цю функцію у заданому базисі.
За основний критерій при цьому беремо мінімум апаратурних затрат, під яким слід розуміти мінімальну кількість ЛЕ та мінімальне число зв’язків між ними.
Визначальну роль у забезпеченні критерію за мінімумом апаратурних затрат відіграє елементний базис, тобто певний набір функціонально повних ЛЕ, на яких можна реалізувати довільну логічну функцію. Якщо базис наперед не заданий, то при такому абстрактному синтезі жодних перетворень із заданою логічною функцією робити не потрібно, досить лише структурно реалізувати за допомогою ЛЕ всі її логічні операції.
Однак, якщо базис за умовою завдання наперед заданий, дану логічну функцію необхідно спеціально перетворити. Головна мета цих перетворень - зведення виразу функції до заданого базису. Раціональність і ефективність такого підходу забезпечує швидку побудову структурної логічної схеми синтезованого цифрового пристрою. Наприклад, якщо задамо базис 2І-НЕ (елемент Шефера) або 2АБО-НЕ (елемент Пірса), для реалізації функції змінних відповідними перетвореннями і замінами МДНФ або МКНФ цієї функції мають бути зображені у вигляді або . Очевидно, що при заданому базисі 2І-АБО-НЕ логічна функція має набувати такого остаточного вигляду:.
При виконанні структурного синтезу цифрового пристрою доцільно користуватися розкладанням логічної функції за принципом, що нагадує дерево, коріння якого вихід (або виходи), а гілки - входи змінних.
Нехай, наприклад, у базисі елемента Шефера потрібно реалізувати логічну функцію
Оскільки елемент Шефера - це 2І-НЕ, в даній функції необхідно зробити такі перетворення, в яких у явному вигляді проявляться ознаки функції . Для одержання виразу даної функції у заданому базисі потрібно застосувати подвійну інверсію та закон дуальності (правило де Моргана):
Отже, для реалізації даної функції у базисі елемента Шефера потрібно 4 ЛЕ НЕ і 2 ЛЕ 2І-НЕ. Інвертор легко реалізується на 2І-НЕ. якщо його входи з’єднати (при ) або якщо до одного з входів прикласти високий рівень (наприклад, при ). Схему, що реалізує диз’юнкцію трьох змінних на елементах Шефера, показано на рис. 1.1.
Рис. 1.1 Диз’юнкція трьох змінних в базисі 2І-НЕ
Якщо елементи Шефера замінити елементами Пірса, то згідно з принципом дуальності така логічна схема буде реалізувати кон’юнкцію трьох змінних.
-
Загальні відомості про цифрові автомати
Вичерпне визначення поняття "цифровий автомат" дав автор цього терміну В.М.Глушков[i]: "Електронні цифрові машини з програмним керуванням являють собою приклад одного з найпоширеніших сьогодні типів перетворювачів дискретної інформації, названих дискретними або цифровими автоматами. Тому задача синтезу схем електронних цифрових машин з програмним керуванням входить як частковий випадок в більш загальну задачу синтезу схем цифрових автоматів". Отже, будь-який елемент, вузол, пристрій чи навіть ЕОМ, незалежно від складності їх функціонування, є перетворювачами цифрової інформації – цифровими автоматами.
У загальному випадку на вхід цифрового автомата надходить множина двійкових змінних X0, X1, … XN-1, а з виходу знімається множина двійкових функцій Y0, Y1, … YN-1. Відмінна особливість цифрових автоматів полягає в тому, що цей функціональний зв'язок визначається також дискретною множиною внутрішніх станів, причому перехід з одного стану в інший здійснюється стрибкоподібно. Реальні цифрові автомати можуть мати лише скінченну множину внутрішніх станів, а тому - скінченне число станів, входів та виходів. Через це цифрові автомати називають ще скінченними.
Вихідні сигнали цифрового автомата залежать як від вхідних сигналів, що діють у даний (фіксований) момент часу, так і від передісторії, тобто від тих сигналів, які надійшли на його входи раніше і зафіксувались в елементах пам’яті – запам’ятовувачах Отже, роботу автомата слід розглядати щодо конкретного інтервалу часу T -такту. Такт - це скінченний відрізок часу, який необхідний для передачі одного з розрядів двійкового числа /біта/ - у разі послідовного коду, або всього двійкового коду (слова) одночасно - при паралельному коді. Залежно від того, чим визначається такт Т , розрізняють асинхронні та синхронні автомати. В асинхронних цифрових автоматах Т cоnst і зміна вхідних сигналів зразу викликає певну зміну вихідних сигналів, у синхронних Т=const і тому зміна вхідних сигналів викликає певну зміну вихідних тільки після подачі синхронізуючих (тактових) імпульсів, які керують роботою автомата.
Для опису законів функціонування цифрових автоматів зручно користуватись абстрактним часом, що набуває цілих невід’ємних значень (t=0,1,2,...), а не тактом Т. Наприклад, позначимо такти роботи автомата як t і t + 1 . Алгебраїчний вираз, який розкриває функціональний зв’язок цифрового автомата між вихідним сигналом у такті t + 1 і множиною вхідних сигналів та станів у попередньому такті t називається функцією переходу .
Найпростішою математичною моделлю цифрового автомата з одним входом X і одним виходом є абстрактний автомат, що заданий сукупністю таких величин:
скінченою множиною вхідних сигналів (вхідний алфавіт) автомата
;
скінченою множиною вихідних сигналів /вихідний алфавіт/ автомата
;
довільною множиною станів /алфавіт станів/ автомата
а також початковим станом автомата , функцією переходу автомата з одного стану в інший та функцією виходу автомата .