3.7. Побудова граф-схеми переходів
Будуємо граф-схему переходів (рис.3.7). Граф-схема переходів будується на основі закодованої мікрокомандної схеми алгоритму (рис. 3.6) і основної таблиці абстрактного автомата (табл. 3.3). Колами позначаються всі внутрішні стани автомата. Стрілки вказують на перехід із стану si до стану sj. Над стрілкою вказується, під дією якого вхідного сигналу або сигналу СІ станеться перехід і який сигнал при цьому з’явиться на виході автомата, тобто яка мікрооперація при цьому має бути виконана.
.
Рисунок
3.7
– Граф-схема
переходів
3.8. Побудова системи рівнянь функції переходів
Складаємо систему рівнянь функції переходів. Ця система рівнянь складається на основі граф-схеми переходів (рис. 3.8) або на основі основної таблиці абстрактного автомата (табл. 3.3). Сигнал СІ в рівняннях не відображений, тому що його значення дорівнює одиниці.
Наприклад,
перехід до стану s0
зі стану s8
відбувається при подачі на вхід сигналу
.
Тому перше рівняння має такий вигляд:
Друге рівняння вказує на те, що можливо перейти до стану s1 зі стану s0 під дією синхроімпульсу СІ. Крім того, перехід також можливий зі стану s4, якщо на вхід буде поданий сигнал .
Таким чином, маємо систему рівнянь переходів (3.1):
(3.1)
3.9. Побудова системи рівнянь функції виходів
Складаємо систему рівнянь для функції виходів. Ця система рівнянь складається на основі закодованої мікрокомандної схеми алгоритму (рис.3.7), де Xi або СІ – вхідний сигнал, а Yj – вихідний сигнал. Наприклад, для першого рівняння системи правдивим є твердження, що отримуємо вихідний сигнал Y1t при переході зі стану s0t-1 під впливом синхроімпульсу СІ. Третє рівняння вказує на те, що вихідний сигнал Y3t з’являється при переході зі стану s2t-1 під впливом вхідного сигналу X1 або – зі стану s6t-1 під впливом вхідного сигналу X3. Таким чином, маємо систему рівнянь виходів (3.2):
(3.2)
3.10. Кодування внутрішніх станів автомата
Для того щоб закодувати внутрішні стани автомата, визначаємо кількість необхідних для цього тригерів (n). Кількість тригерів розраховується із співвідношення: log2 S ≤ n, де n – кількість тригерів; S – кількість станів si .
У нашому прикладі кількість внутрішніх (s0 – s8) станів S = 9.
Тому n = log2 9 ≤ n= 4.
Таким чином, необхідно мати 4 тригери. Тому внутрішні стани автомата будемо кодувати чотирирозрядним двійковим кодом. Результат кодування наведено в табл. 3.4, де R1–R4 та S1–S4 – це входи чотирьох RS-тригерів.
Таблиця 3.4 – Кодування внутрішніх станів автомата
Стани |
Входи |
|||||||
R1 |
S1 |
R2 |
S2 |
R3 |
S3 |
R4 |
S4 |
|
s0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
s1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
s2 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
s3 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
s4 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
s5 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
s6 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
s7 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
s8 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |