Zbudować układ nadzorujący pracę 15 urządzeń. Układ sygnalizuje zgłoszenia urządzeń o numerach: 3, 7, 9, 10, 12, 13. Układ sekwencyjny synchroniczny o 1 wejściu. Etapy projektu:
Zbudować graf przejść automatów (Moore'a lub Mealy'ego)
Budowa tablicy przejść-wyjść
Minimalizacja tablicy przejść-wyjść
Specyfikacja minimalnego grafu przejść w edytorze FSM
Symulacja funkcjonalna
Specyfikacja układu w edytorze BDE + symulacja funkcjonalna
Synteza i implementacja
Symulacja czasowa
Komparacja przebiegów: funkcjonalnego i czasowego
Termin oddania: 15 czerwca
Tablica prawdy:
Nr urządzenia |
Kod |
x4x3x2x1 |
y |
1 |
0 |
0000 |
0 |
2 |
1 |
0001 |
0 |
3 |
2 |
0010 |
1 |
4 |
3 |
0011 |
0 |
5 |
4 |
0100 |
0 |
6 |
5 |
0101 |
0 |
7 |
6 |
0110 |
1 |
8 |
7 |
0111 |
0 |
9 |
8 |
1000 |
1 |
10 |
9 |
1001 |
1 |
11 |
10 |
1010 |
0 |
12 |
11 |
1011 |
1 |
13 |
12 |
1100 |
1 |
14 |
13 |
1101 |
0 |
15 |
14 |
1110 |
0 |
16 |
15 |
1111 |
- |
1. Graf przejść automatu Mealy'ego
2. Tablica przejść-wyjść
S\X |
0 |
1 |
0 |
1 |
S1 |
S2 |
S3 |
0 |
0 |
S2 |
S4 |
S5 |
0 |
0 |
S3 |
S6 |
S7 |
0 |
0 |
S4 |
S8 |
S9 |
0 |
0 |
S5 |
S10 |
S11 |
0 |
0 |
S6 |
S12 |
S13 |
0 |
0 |
S7 |
S14 |
S15 |
0 |
0 |
S8 |
S1 |
S1 |
0 |
0 |
S9 |
S1 |
S1 |
1 |
0 |
S10 |
S1 |
S1 |
0 |
0 |
S11 |
S1 |
S1 |
1 |
0 |
S12 |
S1 |
S1 |
1 |
1 |
S13 |
S1 |
S1 |
0 |
1 |
S14 |
S1 |
S1 |
1 |
0 |
S15 |
S1 |
S1 |
0 |
- |
|
|
S' |
|
Y |
3. Minimalizacja tablicy przejść-wyjść
2 |
2,4 3,5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
2,6 3,7 |
4,5 6,7 |
|
|
|
|
|
|
|
|
|
|
|
|
4 |
2,8 3,9 |
4,8 8,9 |
6,8 7,9 |
|
|
|
|
|
|
|
|
|
|
|
5 |
2,10 3,11 |
4,10 5,11 |
6,10 7,11 |
8,10 9,11 |
|
|
|
|
|
|
|
|
|
|
6 |
2,12 3,13 |
4,12 5,13 |
6,13 7,13 |
8,12 9,13 |
10,12 11,13 |
|
|
|
|
|
|
|
|
|
7 |
2,14 3,15 |
4,14 5,15 |
6,14 7,15 |
8,14 9,15 |
10,14 11,15 |
12,14 13,15 |
|
|
|
|
|
|
|
|
8 |
1,2 1,3 |
1,4 1,5 |
1,6 1,7 |
1,8 1,9 |
1,10 1,11 |
1,12 1,13 |
1,14 1,15 |
|
|
|
|
|
|
|
9 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10 |
1,2 1,3 |
1,4 1,5 |
1,6 1,7 |
1,8 1,9 |
1,10 1,11 |
1,12 1,13 |
1,14 1,15 |
1,1 1,1 |
|
|
|
|
|
|
11 |
|
|
|
|
|
|
|
|
1,1 1,1 |
|
|
|
|
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
13 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
14 |
|
|
|
|
|
|
|
|
1,1 1,1 |
|
1,1 1,1 |
|
|
|
15 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
S\X |
0 |
1 |
0 |
1 |
S1 |
S2 |
S3 |
0 |
0 |
S2 |
S4 |
S4 |
0 |
0 |
S3 |
S5 |
S6 |
0 |
0 |
S4 |
S7 |
S8 |
0 |
0 |
S5 |
S9 |
S10 |
0 |
0 |
S6 |
S8 |
S11 |
0 |
0 |
S7 |
S1 |
S1 |
0 |
0 |
S8 |
S1 |
S1 |
1 |
0 |
S9 |
S1 |
S1 |
1 |
1 |
S10 |
S1 |
S1 |
0 |
1 |
S11 |
S1 |
S1 |
0 |
- |
|
|
S' |
|
Y |