Page 88 - 4339

Рисунок 6.14 - Граф автомата Мілі для інтерпретації
мікропрограми додавання і віднімання

- для функцій збудження входів D-тригерів:
D  z   z    z  z x  z   z   z  z x  y  z  y
1 1 1 1 1 2 3 5 1 1 1 1 2 3 5 1 1 3 7
(враховуються вирази для вихідних мікрооперацій);
D  z  z ; D  z  z x  z  y ;
2 2 3 3 4 5 1 4 7
- ознака переповнення φ 3=х 1 визначається за формулою:
  x  A ] 8 [ C ] 8 [ SM ] 8 [  A ] 8 [ C ] 8 [ SM 8 [ ].
3 1

Таблиця 6.6 - Структурна таблиця переходів автомата
Мілі для інтерпретації мікропрограми додавання і
віднімання

D-тригери
z k( z ) z k( z ) { x } { y }
i i j j i i D 3, D 2, D 1
z 1 000   - -
z 2 001 1 2 у 1 D 1
000 001  D 1
z 1 z 2 1 у 1
 
1 2
z 2 001 z 3 010 1 у 2 D 2
z 4 011  у 3 D 2, D 1
z 3 010 z 4 011 1 у 4 D 2, D 1

1
z5 100  у 5 D 3
z 4 011 z5 100 1 у 6 D 3

1
z 5 100 z 6 101 x у 7 D 3, D 1
z 1 000 1 у 9 -
x 1
z 6 101 z 1 000 1 у 8 -

87