Міністерство освіти і науки України
Національний університет „ Львівська політехніка “
Кафедра АСУ
Звіт
про виконання графічно-розрахункової роботи
з курсу „Схемотехніка комп'ютерів” на тему
«Синтез ЦА з використанням лічильника імпульсів»
Львів-2005
Зміст
Теоретичні відомості.
Таблиця функціонування ЦА.
Часова діаграма станів виходів ЦА.
Граф переходів станів ЦА.
Таблиця переходів станів ЦА.
Характеристична таблиця роботи тригера.
Карти Карно тригерів.
Логічні функції виходів лічильника.
Структурна і принципова схема ЦА.
Висновки.
Технічне завдання
Синтезувати цифровий автомат з використанням лічильника імпульсів, послідовність станів якого відповідає послідовності цифр у вашій заліковій книжці:
а) якщо передостання цифра парна, то з використанням ІС ТТЛШ, якщо непарна – з використанням ІС КМОН;
б) якщо остання цифра парна, то на D-тригерах, якщо непарна, то на JK-тригерах.
№ залікової книжки – 0308311
Цифровий автомат потрібно виконати на основі 4-розрядного лічильника, оскільки для представлення максимальної цифри залікової книжки (8) у двійковому коді необхідно чотири розряди.
Рис.1. Блок-схема цифрового автомата.
Основні поняття теорії автоматів.
Автомат називається скінченим [+], якщо множина його внутрішніх станів і множина значень вхідних сигналів - скінченні множини.
Цифровий автомат - це пристрій для перетворення цифрової інформації.
Математична модель цифрового автомата (ЦА) є абстрактний автомат, який задається сукупністю шести об’єктів:
Вхідний алфавіт X автомата:
Х={x1(t), x2(t), . . . , xn(t)};
Вихідний алфавіт Y автомата:
Y={y1(t), y2(t), . . . , yk(t)};
Довільна множина Q станів автомата:
Q={q1(t), q2, (t), . . . , qs(t)};
Початковий стан автомата q0 як елемент множини Q:
q0(t)Q;
Функція (q, x), тобто функція переходу автомата з одного стану в інший;
Функція (q, x), тобто функція виходів автомату.
В початковий момент часу t0 автомат знаходиться в стані q0. В кожний момент часу t ЦА здатний прийняти вхідний сигнал x(t) і видати відповідний вихідний сигнал y(t).
Поняття стан автомату використовується для опису системи, виходи яких залежать не тільки від вхідних сигналів в даний момент часу, але і від деякої передісторії, тобто сигналів, які поступили на входи системи раніше.
По відношенню до часу ЦА діляться:
а) синхронні, де зміни ЦА пов’язані із генератором синхросигналів, який відає імпульси через рівні проміжки часу;
б) асинхронні, де зміни ЦА не визначені строго в часі пов’язані лише до деяких подій.
В теорії автоматів найбільш повно описані синхронні автомати [1].
Існують дві можливості реакції вихідного сигналу ЦА на дію вхідних сигналів;
Якщо вихідний сигнал однозначно залежить від вхідного сигналу і попереднього стану ЦА, то такий автомат називається автоматом першого роду або автоматом Мілі [2].
Якщо вихідний стан не залежить від значень вхідних сигналів, а тільки від стану ЦА, то такий автомат називається автоматом другого роду або автоматом Мура.
Довільний абстрактний автомат Мілі або Мура називається ще автоматом із пам’яттю, тобто таким, що здатний запам’ятовувати попередню інформацію, якщо він має число внутрішніх станів більше за один. Якщо ЦА має лише один внутрішній стан, то він називається автоматом без пам’яті [2]. Стан такого автомату в процесі функціонування не змінюється, оскільки він тільки один. Тому вхідний сигнал автомата без пам’яті залежить від попереднього стану. Оскільки логічний стан виходів ЦА без пам’яті залежить лише від комбінації логічних сигналів на входах в даний момент часу, його називають комбінаційним пристроєм (КП). КП - це асинхронний ЦА. Синтез КП здійснюється переважно на логічних елементах.
На відміну від КП значення вихідних сигналів у ЦА з пам’яттю залежать не тільки від значень вхідних сигналів, але й від їх попередніх значень. Звідси очевидно, що такі пристрої реалізують функціональний зв’язок вже не між окремими значеннями вхідного та вихідного сигналів, а між їх послідовностями. Тому автомати з пам’яттю називають послідовними.
До комбінаційних схем належать логічні елементи, перетворювачі кодів, шифратори(дешифратори, мультиплексори), демультиплексори, суматори, цифрові компаратори, драйвери.
До послідовнісних пристроїв (схем) належать тригери, регістри, лічильники, генератори числових послідовностей, багаторозрядні регістри, запам’ятовувальні пристрої великих об’ємів пам’яті, тощо.
Способи опису послідовнісних пристроїв (ПП) або пристроїв із пам’яттю:
Існують наступні способи опису ПП [3]:
а) словесний;
б) математичний;
в) часовий (з допомогою часових графіків або діаграм);
г) графічний (з допомогою орієнтованих графів);
д) табличний.
Найбільш часто вживаються останні три способи.
Граф переходів станів ЦА.
Вершини графа зображають стани ЦА, а дуги - переходи між станами[1]. По сигналу CLK лічильник переходить із одного в інші стани. При відсутності сигналу (=1) лічильник зберігає поточне значення.
Лічильник як скінчений цифровий автомат.
Лічильник - це скінчений цифровий автомат, внутрішній стан якого визначається тільки кількістю логічних одиниць, які надійшли на його вхід (логічний 0 не змінює стану лічильника). Лічильники, як правило, складаються з кількох T-тригерів, які певним чином з’єднані між собою. Регістри лічильника утворюють виходи тригерів, число яких m визначає розрядність лічильника.
Основним параметром лічильника є його модуль лічби (коефіцієнт перерахунку) , (де m число розрядів лічильника), що визначає число стійких (внутрішніх) станів лічильника (у тому числі і нульовий стан), тобто максимальну кількість імпульсів, яку він може підрахувати. Отже, у m-розрядному лічильнику може бути 2m стійких стани і тому його модуль лічби завжди . Якщо кількість імпульсів, що надійшли на вхід лічильника, дорівнює , він повертається у початковий стан (у підсумовуючих лічильників - нульовий), утворюючи при цьому сигнал (імпульс) переповнення. Це означає, що підрахунок одиниць здійснюється лічильником за модулем лічби , який характеризує місткість лічильника. Для підсумовуючого лічильника це максимальне число одиниць, яке він може підрахувати. Дана характеристика лічильника залежить від його розрядності та основи системи числення.
Для заданого модуля лічби кількість тригерів m, що необхідна для побудови лічильника, визначається з умови найближчого більшого цілого числа:
.
На вході останнього розряду (тригера) лічильника частота імпульсів у раз менша за частоту вхідних імпульсів. Тому лічильник може застосовуватися як подільник частоти з коефіцієнтом ділення вхідної частоти .
Крім модуля лічби лічильники характеризуються ще такими параметрами як:
розрізняльна здатність tp, тобто мінімальний період проходження вхідних імпульсів, при якому забезпечується надійна робота лічильника;
час установлення tуст, тобто максимальний часовий інтервал між моментом закінчення подачі вхідного сигналу (імпульсу) та моментом установки коду на регістрі лічильника.
Класифікація лічильників
Залежно від модуля лічби лічильники бувають [2]:
а) двійкові - лічильники за модулем 2m, ;
б) з довільним модулем - лічильники за модулем M , у яких , причому число m заокруглюється до більшого цілого числа.
Будь-який лічильник так само, як і регістр, можна виконувати у вигляді синхронного або асинхронного, потенціального або імпульсного послідовнісного автомата, а також у вигляді автомату змішаного типу. Спосіб організації лічби (синхронний чи асинхронний визначається типом Т-тригерів, які реалізують на D-тригерах з динамічним керуванням (синхронних чи асинхронних)), а найчастіше на JK-тригерах у мікросхемному виконанні. Асинхронні лічильники порівняно з синхронними на практиці зустрічаються рідше.
Таблиця функціонування ЦА
Виходячи із заданого порядку зміни стану лічильника, (який може бути описано часовими діаграмами або графом переходу, або іншим способом), складаємо таблицю функціонування, яка відображає двійкові коди всіх попередніх і наступних станів лічильника, що виражені через стани тригерів в момент часу до і після приходу чергового сигналу (табл1.).
Табл.1
Номер стану
Виходи ЦА
0
1
2
3
4
5
6
7
0
0
3
0
8
3
1
1
Q
0
0
0
0
1
0
0
0
Q
0
0
0
0
0
0
0
0
Q
0
0
1
0
0
1
0
0
Q
0
0
1
0
0
1
1
1
Часова діаграма станів виходів ЦА
Графи переходів станів ЦА
Граф з безумовним переходом
Граф з умовним переходом
Таблиця переходів станів ЦА (відповідає графу переходів)
Номер стану
Q
Q
Q
Q
Q
Q
Q
Q
1
0
0
0
0
0
0
1
1
2
0
0
1
1
0
0
0
0
3
0
0
0
0
1
0
0
0
4
1
0
0
0
0
0
1
1
5
0
0
1
1
0
0
0
1
6
0
0
0
1
0
0
0
1
7
0
0
0
1
0
0
0
0
Характеристична таблиця роботи JK-тригера
Характеристичні таблиці, в яких приведено узагальнені значення логічних функцій на входах вибраного типу тригера для всіх можливих комбінацій його переходів Q-> Q, мають наступний вигляд:
Табл. 3.5.
Q-> Q
J
K
00
0
-
01
1
-
10
-
1
11
-
0
Таблиці переходів тригерів
Y0
Q2 Q3
00
01
11
10
Q0 Q1
00
01
01
00
01
11
10
11
10
11
10
Y1
Q2 Q3
00
01
11
10
Q0 Q1
00
01
01
00
01
00
00
11
10
10
10
Y2
Q2 Q3
00
01
11
10
Q0 Q1
00
00
00
00
01
00
00
11
00
00
10
Y3
Q2 Q3
00
01
11
10
Q0 Q1
00
00
10
01
01
00
00
11
00
00
10
Мінімізація функцій лічильника за допомогою карт Карно
J0
Q2 Q3
00
01
11
10
Q0 Q1
00
1
1
0
01
-
-
11
-
-
10
J1
Q2 Q3
00
01
11
10
Q0 Q1
00
1
1
0
01
0
0
11
-
-
10
J2
Q2 Q3
00
01
11
10
Q0 Q1
00
0
0
0
01
0
0
11
0
0
10
J3
Q2 Q3
00
01
11
10
Q0 Q1
00
0
-
1
01
0
0
11
0
0
10
K0
Q2 Q3
00
01
11
10
Q0 Q1
00
-
-
-
01
0
1
11
1
0
10
K1
Q2 Q3
00
01
11
10
Q0 Q1
00
-
-
-
01
-
-
11
1
1
10
K2
Q2 Q3
00
01
11
10
Q0 Q1
00
-
-
-
01
-
-
11
-
-
10
K3
Q2 Q3
00
01
11
10
Q0 Q1
00
-
1
-
01
-
11
-
10