1310109434

Technika cyfrowa

Rozszerzenie definicji FSM do FSMD poprzez dodanie zbioru zmiennych, wejść oraz wyjść ścieżki danych

Zbiór zmiennych:

V= V₂x f₂x ... x V_q

definiuje stan ścieżki danych poprzez wyspecyfikowanie wartości wszystkich zmiennych w każdym stanie.

Zbiór wejść FSMD można podzielić na zbiór wejść FSM J_coraz zbiór wejść ścieżki danych 1^

J=J_cx/₀

gdzie:

I_D = B₁x B₂x ••• x B_p

Zbiór wyjść FSMD można podzielić na zbiór wejść FSM O_c oraz zbiór wejść ścieżki danych Oj

O- O_cx O_d

gdzie:

0_D=Z_lxZ₂x..xZ_r

23

| Technika cyfrowa |
A, Q, Y oznaczają zmienne boolowskie
B, V, Z oznaczają wektory boolowskie reprezentujące w konsekwencji
wartości całkowite, zmiennoprzecinkowe oraz znakowe.
				Tablica stanów i wyjść FSMD dla licznika jedynek				1
fpSENT	1 NEXT STATE			CONTRCH.	DATAPATH
| STATE	(Start, Dota =		0)	OUTPUT	OUTPUT		DATAPATH YARIABLES
L	00 01	TO		Dono	Outport	Dota	Ocount	Temp
2‘ So	*0	Tl	Tl	0		X	X	X	X
||v	H ^2		T2	0	Z	Inport	X	, X	X
fe.' *2	S3 I3	■»3	T3	0	z	Data	0	X	X
[ '; S)	*4 Si	T<	Si	0	z	Data	Ocount	X	1
■: Si	^SS *s	Ti	Si	0	z	Data	Ocount	Dam AND Mask	Mask
p- *S •	*6 S6	Tfi	To	0	z	Data	Ocount+ Temp	X	Mask
*	Sa Sj	si	Tl	0	J:	Data»l	Ocount	X	Mask
.L> t?	To	TO	T0	1	Ocount	Data	^! Ocount	X	X

12