Курсовая работа: Синтез керуючих автоматів
у1 , у2 , у3 – завантаження початкових даних на шини.
у4 –у15 – завантаження даних у регістри пам'яті.
у1 6 –у33 – завантаження з пам'яті на локальні шини А, B, C.
у34 , у39 – завантаження результатів одномісних операцій на шину Z1 .
y40 –у41 – завантаження результатів двомісних операцій на шину Z2 .
Отримані таким чином дані заносимо до таблиці 1.1
Табл. 1.1 –Таблиця мікрооперацій
Мікрооперація | A | B | C | Z1 | Z2 | Result | |||||||
Y | формула | регістр | y | регістр | y | регістр | y | форм. | y | форм. | y | регістр | y |
1 |
RA := <A> RB := <B> | <B> | y2 | <A> | y1 |
RA:=Z2 RB:=Z1 |
y4 y7 | ||||||
2 | RC := <C> | <C> | y3 | RC:=Z2 | y8 | ||||||||
3 | RS3 := RA + RB | RA | y17 | RB | y21 | RA+RB | y40 | RS3 :=Z2 | y14 | ||||
4 | RS2 := RA – RB | RB | y20 | RA | y18 | RA-RB | y41 | RS2 :=Z2 | y12 | ||||
5 | RS1 := L3 (RS2 ) | RS2 | y28 | L3 (RS2 ) | y36 | RS1 :=Z1 | y11 | ||||||
6 | RS1 := RS1 – RS2 | RS2 | y29 | RS1 | y27 | RS1 -RS2 | y41 | RS1 :=Z2 | y10 | ||||
7 | RS2 := L2 (RA) | RA | y16 | L2 (RA) | y35 | RS2 :=Z1 | y13 | ||||||
8 | RS3 := L1 (RB) | RB | y19 | L1 (RB) | y34 | RS3 :=Z1 | y15 | ||||||
9 | RS1 := RS2 – RS3 | RS3 | y32 | RS2 | y30 | RS2 -RS3 | y41 | RS1 :=Z2 | y10 | ||||
10 | RS1 := L2 (RA) | RA | y16 | L2 (RA) | y35 | RS1 :=Z1 | y11 | ||||||
11 | RS1 := RS1 – RA | RA | y17 | RS1 | y27 | RS1 -RA | y41 | RS1 :=Z2 | y10 | ||||
12 | RS1 := R1 (RS1 ) | RS1 | y25 | R1 (RS1 ) | y37 | RS1 :=Z1 | y11 | ||||||
13 | RS1 := RS1 – RB | RB | y20 | RS1 | y27 | RS1 -RB | y41 | RS1 :=Z2 | y10 | ||||
14 | RS3 := RB – RA | RA | y17 | RB | y21 | RB-RA | y41 | RS3 :=Z2 | y14 | ||||
15 | RS3 := R1 (RB) | RB | y19 | R1 (RB) | y37 | RS3 :=Z1 | y15 | ||||||
16 | RS2 := RA – RS3 | RS3 | y32 | RA | y18 | RA-RS3 | y41 | RS2 :=Z2 | y12 | ||||
17 |
RS2 := RA + RB RS3 := L1 (RC) | RA | y17 | RB | y21 | RC | y22 | L1 (RC) | y34 | RA+RB | y40 |
RS2 :=Z2 RS3 :=Z1 | y12 y15 |
18 | RS2 := RS2 – RS3 | RS3 | y32 | RS2 | y30 | RS2 -RS3 | y41 | RS2 :=Z2 | y12 | ||||
19 | RS2 := RS2 – RC | RC | y23 | RS2 | y30 | RS2 -RC | y41 | RS2 :=Z2 | y12 | ||||
20 | RS3 := L1 (RB) | RB | y19 | L1 (RB) | y34 | RS3 :=Z1 | y15 | ||||||
21 | RS3 := RA – RS3 | RS3 | y32 | RA | y18 | RA-RS3 | y41 | RS3 :=Z2 | y14 | ||||
22 | RS2 := L3 (RS3 ) | RS3 | y31 | L3 (RS3 ) | y36 | RS2 :=Z1 | y13 | ||||||
23 | RS2 := RS2 – RS3 | RS3 | y32 | RS2 | y30 | RS2 -RS3 | y41 | RS2 :=Z2 | y12 | ||||
24 | RS2 := R3 (RS2 ) | RS2 | y28 | R3 (RS2 ) | y39 | RS2 :=Z1 | y13 | ||||||
25 | RS3 := RC + RB | RB | y20 | RC | y24 | RB+RC | y40 | RS3 :=Z2 | y14 | ||||
26 | RS3 := L1 (RS3 ) | RS3 | y31 | L1 (RS3 ) | y34 | RS3 :=Z1 | y15 | ||||||
27 | RS3 := RS3 + RC | RS3 | y32 | RC | y24 | RS3 +RC | y40 | RS3 :=Z2 | y14 | ||||
28 |
RC := L2 (RB) RS3 := RA – RB | RB | y20 | RA | y18 | RB | y19 | L2 (RB) | y35 | RA-RB | y41 |
RC:=Z1 RS3 :=Z2 | y9 y14 |
29 | RS3 := RS3 – RC | RC | y23 | RS3 | y33 | RS3 -RC | y41 | RS3 :=Z2 | y14 | ||||
30 | RS3 := RC – RA | RA | y17 | RC | y24 | RC-RA | y41 | RS3 :=Z2 | y14 | ||||
31 | RS3 := R2 (RS3 ) | RS3 | y31 | R2 (RS3 ) | y38 | RS3 :=Z1 | y15 | ||||||
32 | RS1 := L1 (RS1 ) | RS1 | y25 | L1 (RS1 ) | y34 | RS1 :=Z1 | y11 | ||||||
33 | RS1 := RS2 + RS1 | RS1 | y26 | RS2 | y30 | RS1 +RS2 | y40 | RS1 :=Z2 | y10 | ||||
34 | RS1 := RS2 – RS1 | RS1 | y26 | RS2 | y30 | RS2 -RS1 | y41 | RS1 :=Z2 | y10 | ||||
35 | RS1 := L2 (RS3 ) | RS3 | y31 | L2 (RS3 ) | y35 | RS1 :=Z1 | y11 | ||||||
36 | RS1 := RS2 + RS1 | RS1 | y26 | RS2 | y30 | RS1 +RS2 | y40 | RS1 :=Z2 | y10 |
Рис. 1.7 – Структурна граф-схема операційного автомата
2. СИНТЕЗ КЕРУЮЧИХ АВТОМАТІВ З ЖОРСТКОЮ ЛОГІКОЮ
На практиці використовуються дві моделі МПА - автомат Милі й автомат Мура, розходження між якими полягає у функції виходу. В автоматі Милі вихідний сигнал залежить від поточного стану і вхідного сигналу, а в автоматі Мура‑ тільки від стану. Незалежно від типу МПА для їхнього синтезу використовується однакова методика, що включає наступні етапи:
1. Оцінка станів автомата на ГСА.
2. Побудова таблиці переходів.
3. Кодування станів УА.
4. Побудова прямої структурної таблиці.