Cwiczenia II synch KFR.pdf

(195 KB) Pobierz
Cwiczenia II synch KFR
POLITECHNIKA WARSZAWSKA
Wydział Transportu
Ć wiczenia z techniki cyfrowej II
Semestr VII
Synteza sekwencyjnych automatów
synchronicznych
Krzysztof Firl ą g
K. Firląg -1-
/2007/
P1s . Tablica przej ść -wyj ść synchronicznego automatu Mealy’ego
X
x 2
x 1
S
1
1/0
3/1
2
2/1
4/0
3
1/0
3/1
4
2/1
4/0
S’/Y
Podziały zewnętrzne: π x2 (y) =
t
13 π x1 (y) =
t
13 π(y) = π x2 (y)*π x1 (y) =
t
13
Struktura kratowa:
Graf podziałów:
t
1
t
2
t
3
t
4
t
12
t
13
t
14
1
2
3
4
1 ®
t
12
t
13
®
t
14
t
t
­
t
­
t
13 1
­
t
­
t
t
t
t
t
13
13
13
13
1
2
3
4
13
Rodziny końcowe: (sprawdzić iloczyn)
T k1 = (
t
12 ,
t
13 ),
T k2 = (
t
12 ,
t
14 ),
T k3 = (
t
13 ,
t
14 ).
Ceny:
T k1 = (
t
12 ,
t
13 ),
T k2 = (
t
12 ,
t
14 ),
T k3 = (
t
13 ,
t
14 ).
C(
t
12 ) = 1+0-1 = 0
C(
t
12 ) = 1+0-1 = 0
C(
t
13 ) = 1+1-1 = 1
C(
t
13 ) = 1+1-1 = 1
C(
t
14 ) = 1+2-1 = 2
C(
t
14 ) = 1+1-1 = 1
C(Y) = 1+1-1 = 1
C(Y) = 1+2-1 = 2
C(Y) = 1+1-1 = 1
∑ C = 2
∑ C = 4
∑ C = 3
T kopt = (
t
12 ,
t
13 )
s
t
12 (Q 2 )
t
13 (Q 1 )
Q
®
Q’
J K D T
0 0 - 0 0
1
0
1
0
®
1 1 - 1 1
2
0
0
0
®
3
1
1
1
®
0 - 1 0 1
4
1
0
1
®
1 - 0 1 0
Zakodowana tablica przejść-wyjść:
x
(x 2 )
0
(x 1 )
1
(x 2 )
0
(x 1 )
1
Q 2 Q 1
(2)
00
00
10
1
0
(1)
01
01
11
0
1
(3)
11
01
11
0
1
y = n Q 1 n x+ Q 1 x
(4)
10
00
10
1
0
D 2 = x
D 1 = Q 1
Y
(l=0, C=0)
(l=1, C=1)
K. Firląg -2-
/2007/
­
­
­
220106406.019.png 220106406.020.png 220106406.021.png
P2s . Tablica przej ść -wyj ść synchronicznego automatu Moore’a
X
x 3
x 2
x 1
Y
S
Kodowanie wyjść
Y 0 = 0 0
Y 1 = 0 1
Y 2 = 1 1
Y 3 = 1 0
y 2 y 1
1
2
-
-
Y 0
2
-
3
-
Y 1
3
1
4
4
Y 2
4
-
1
1
Y 3
S’ Y
Struktura kratowa: ( Podziały zewn. π(y 2 ) = t 12, π(y 1 ) = t 14 ) Graf podziałów:
t
1
t
2
t
3
t
4
t
12
t
13
t
14
1
2
3
4
t
13
®
t
4
t
1
®
t
2
®
t
3
t
­
­
­
­
t 13
­
t
­
t
­
t
14
®
t
12
14
t 1 ,
t 12 ,
t 14, t 3
t 2 ,
t 12
t 3 ,
t 14, t 4
3
12
Rodziny końcowe: (sprawdzić iloczyn)
T k1 = (
t
12 ,
t
14 ),
T k2 = (
t
12 ,
t
13 ),
T k3 = (
t
13 ,
t
14 ).
Ceny:
T k1 = (
t
12 ,
t
14 ),
T k2 = (
t
12 ,
t
13 ),
T k3 = (
t
13 ,
t
14 ).
C(
t
12 ) = 2+1-1 = 2
C(
t
12 ) = 2+2-1 = 3
C(
t
13 ) = 2+2-1 = 3
C(
t
14 ) = 2+1-1 = 2
C(
t
13 ) = 2+2-1 = 3
C(
t
14 ) = 2+2-1 = 3
C(Y 2 ) = 1-1 = 0
C(Y 2 ) = 1-1 = 0
C(Y 2 ) = 2-1 = 1
C(Y 1 ) = 1-1 = 0
C(Y 1 ) = 2-1 = 1
C(Y 1 ) = 1-1 = 0
∑ C = 4
∑ C = 7
∑ C = 7
T kopt = (
t 12 ,
t 14 )
s
t
12 (Q 2 )
t
14 (Q 1 )
Q
®
Q’ J K D T
0 0 - 0 0
0
®
1
1
0
1 1 - 1 1
1®0 - 1 0 1
1
2
1
1
0
®
3
0
1
4
0
0
®
1 - 0 1 0
Zakodowana tablica przejść-wyjść:
x 2 x 1
Q 2 Q 1
(x 3 )
00
(x 2 )
01
(x 1 )
11
10
y 2 y 1
(4) 00
-
10
10
-
1
0
y 2 = n Q 2
y 1 = Q 1
(3) 01
10
00
00
-
1
1
(2) 11
-
01
-
-
0
1
(1) 10
11
-
-
-
0
0
D 2 = n x 1 + n Q 1
D 1 = Q 2
Y
(l=1, C=2)
(l=1, C=2)
K. Firląg -3-
/2007/
220106406.022.png 220106406.001.png 220106406.002.png 220106406.003.png
reset
clk
X=11
S=01
clk
clk
X=01
S=01
clk
X=00
S=10
S=11
clk
X=00
S=10
S=11
clk
X=11
K. Firląg -4-
/2007/
220106406.004.png
P3s . Tablica przej ść -wyj ść synchronicznego automatu Mealy’ego
X
x 3
x 2
x 1
x 3
x 2
x 1
S
1
1
4
4
1
0
0
2
-
2
4
-
0
0
3
1
4
3
1
1
0
4
1
4
4
1
0
0
Struktura kratowa:
S’ Y
Graf podziałów:
t
1
t
2
t
3
t
4
t
12
t
13
t
14
1
2
3
4
1
®
t
1
¬
t
2
®
t
12
1 ,
­
t
t
­
t
π
t
t
­
π
t
3
®
t
13
2
3
2
3
2
Podziały zewnętrzne: π x3 (y) = 1 π x2 (y) =
t 3 π x1 (y) = 1 ⇒ π (y) =
t 3
Rodziny końcowe: (sprawdzić iloczyn)
T k1 = (
t
t
1 ,
t
2 ,
t
3 ),
T k2 = (
t
t
12 ,
t
13 ),
T k3 = (
t
t
12 ,
t
14 ),
T k4 = (
t
t
13 ,
t
14 ).
C(
t
1 )= 2+0-1 =1 C(
t
12 )= 2+2-1 =3 C(
t
12 )= 2+2-1 =3 C(
t
13 )= 2+2-1 =3
C(
t
2 )= 2+1-1 =2 C(
13 )= 2+2-1 =3 C(
14 )= 2+2-1 =3 C(
14 )= 2+2-1 =3
3 )= 2+1-1 =2 C(Y) = 2+2-1 =3 C(Y) = 2+2-1 =3 C(Y) = 2+2-1 =3
C(Y) = 2+1-1 =2 ∑ C = 9
∑ C = 9
∑ C = 9
∑ C = 7
T kopt = (
t 1 ,
t 2,
t 3 )
s
t
1 (Q 3 )
t
2 (Q 2 )
t
3 (Q 1 )
Q
®
Q’ J K D T
1
1
0
1
0
®
0 0 - 0 0
2
0
1
1
1 1 - 1 1
1®0 - 1 0 1
1
®
3
0
0
0
4
0
0
1
®
1 - 0 1 0
Zakodowana tablica przejść-wyjść:
x 2 x 1
Q 3 Q 2 Q 1
(x 3 )
00
(x 2 )
01
(x 1 )
11
10
(x 3 )
00
(x 2 )
01
(x 1 )
11
10
(3) 000
101 001 000
-
1
1
0
-
(4) 001
101 001 001
-
1
0
0
-
(2) 011
-
011 001
-
-
0
0
-
010
-
-
-
-
-
-
-
-
y= n x 1 + n x 2 n Q 1
(l=1, C=2)
110
-
-
-
-
-
-
-
-
111
-
-
-
-
-
-
-
-
(1) 101
101 001 001
-
1
0
0
-
100
-
-
-
-
-
-
-
-
Funkcje wzbudzeń:
D 3 = n x 1
D 2 = n x 2 Q 2
D 1 = n x 2 + Q 1
K. Firląg -5-
/2007/
(l=0, C=1)
(l=1, C=2)
(l=1, C=2)
­
­
­
­
C(
0
220106406.005.png 220106406.006.png 220106406.007.png 220106406.008.png 220106406.009.png 220106406.010.png 220106406.011.png 220106406.012.png 220106406.013.png 220106406.014.png 220106406.015.png 220106406.016.png 220106406.017.png 220106406.018.png

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin