Реферат: Синтез микропрограммного управляющего автомата

Далее составляем прямую структурную таблицу переходов и выходов автомата Мили и по известному правилу формируем логические выражения для функций возбуждения.

Таблица 11. Прямая структурная таблица переходов и выходов автомата Мили.

Исходное состояние	Код am	Состояние перехода as	Код as	Входной сигнал X(am ,as )	Выходные сигналы Y(am ,as )	Функции возбуждения триггеров
						RS	T
a0	0000	a0 a1	0000 0001	X1 X1	- Y1(y1,y2,y3)	S4	T4
a1	0001	a2 a9	0011 1000	X2 X2	Y6(y4,y6) Y9(y1,y3)	S3 S1R4	T3 T1T4
a2	0011	a2 a3	0011 0010	X1 X1	- Y2(y2)	R4	T4
a3	0010	a4 a4 a9	0110 0110 1000	X2X3 X2X3 X2	- Y3(y3) Y9(y1,y3)	S2 S2 S1R3	T2 T2 T1T3
a4	0110	a5 a5	0111 0111	X4 X4	- Y6(y4,y6)	S4 S4	T4 T4
a5	0111	a6 a6	0101 0101	X5 X5	- Y4(y4)	R3 R3	T3 T3
a6	0101	a7	0100	1	Y5(y5)	R4	T4
a7	0100	a5 a8	0111 1100	X6 X6	- -	R3R4 S1	T3T4 T1
a8	1100	a0 a8 a9	0000 1100 1000	X7X8 X7 X7X8	- Y7(y7) -	R1R2 R2	T1T2 T2
a9	1000	a0 a9	0000 1000	X9 X9	- Y8(y8)	R1	T1

Так как мы изменили используемые элементы памяти, то у нас изменятся логические выражения для функций их возбуждения, а логические выражения для функций выходов не изменятся.

S1= a1x2 v a3x2 v a7x6

S2= a3x2

S3= a1x2

S4= a0x1 v a4

R1= a8x7x8 v a9x9

R2= a8x7

R3= a3x2 v a5 v a7x6

R4= a1x2 v a2x1 v a6 v a7x6

После упрощения и выделения общих частей, получим:

f= a1x2

g= a3x2

k= a7x6

m= a8x7

p= a3x2

q= a1x2

r= a0x1

h= a2x1

e= r v a1x2 v g

n= q v a4x4

S1= f v g v a7x6

S2= p

S3= q

S4= r v a4

R1= mx8 v a9x9

R2= m

R3= g v a5 v k