Minimizzazione delle macchine sequenziali. Teoria.
Applicabilità di una sequenza
Stati equivalenti (macchine complete)
Macchine equivalenti (complete)
Due macchine complete M e M’ sono equivalenti se per ciascuno stato q di M esiste almeno uno stato q’ di M’ ad esso equivalente e viceversa
Macchine equivalenti (incomplete)
Compatibilità fra stati
Definizione ricorsiva
Inclusione fra macchine
Minimizzazione e classi di equivalenza
Minimizzazione e classi di compatibilità massime
Classi di equivalenza e di compatibilità
Il partizionamento degli stati
Si potrebbe procedere così:
La famiglia presumibilmente compatibile
Per le reti incomplete si procede come in precedenza, adattando l’algoritmo alle peculiarità della incompatibilità:
Il row merging (solo per reti complete)
Metodo di Paull-Unger (preferito per reti complete)
Al termine, le caselle senza X sono di coppie equivalenti: a queste poi si deducono le classi di equivalenza.
Minimizzazione delle macchine sequenziali. Esempi ed esercizi
1. Algebra di Boole - Modulo 1
2. Algebra dei circuiti - Modulo 1
3. Eguaglianze notevoli. Forme delle funzioni booleane - Modulo 1
4. Funzioni di due variabili - Forme NAND e NOR - Modulo 1
5. Rappresentazione di funzioni booleane - Modulo 1
6. Funzioni XOR, EQ, parità e disparità - Modulo 2
7. Minimizzazione - Parte I - Modulo 2
8. Minimizzazione - Parte II - Modulo 2
9. Un tool per la minimizzazione - Esercitazione: display a 7 segm...
10. Reti combinatorie - Codifica e trasmissione di codici - Modulo ...
11. Macchine aritmetiche - Gli addizionatori - Modulo 2
12. Esercitazione sulle macchine combinatorie - Modulo 2
13. Reti universali e tempificazione - Modulo 3
14. Verso le reti sequenziali: Alee e sequenze - Modulo 3
15. Le Macchine Sequenziali - Reti Asincrone - Modulo 3
16. Progetto asincrono - Modulo 3
17. I Flip Flop
18. Macchine sequenziali sincrone - Modulo 3
19. Minimizzazione delle macchine sequenziali. Teoria - Modulo 4
20. Minimizzazione delle macchine sequenziali. Esempi ed esercizi -...
B. Fadini, A. Esposito, Teoria e Progetto delle Reti Logiche, Napoli Liguori Ed., II ed, 1994. Cap. VI
U. De Carlini, B. Fadini, Macchine per l'elaborazione delle informazioni, Napoli Liguori Ed., II ed., 1995 (Capitoli III e VII)
2. Algebra dei circuiti - Modulo 1
3. Eguaglianze notevoli. Forme delle funzioni booleane - Modulo 1
4. Funzioni di due variabili - Forme NAND e NOR - Modulo 1
5. Rappresentazione di funzioni booleane - Modulo 1
6. Funzioni XOR, EQ, parità e disparità - Modulo 2
7. Minimizzazione - Parte I - Modulo 2
8. Minimizzazione - Parte II - Modulo 2
9. Un tool per la minimizzazione - Esercitazione: display a 7 segm...
10. Reti combinatorie - Codifica e trasmissione di codici - Modulo ...
11. Macchine aritmetiche - Gli addizionatori - Modulo 2
12. Esercitazione sulle macchine combinatorie - Modulo 2
13. Reti universali e tempificazione - Modulo 3
14. Verso le reti sequenziali: Alee e sequenze - Modulo 3
15. Le Macchine Sequenziali - Reti Asincrone - Modulo 3
16. Progetto asincrono - Modulo 3
17. I Flip Flop
18. Macchine sequenziali sincrone - Modulo 3
19. Minimizzazione delle macchine sequenziali. Teoria - Modulo 4
20. Minimizzazione delle macchine sequenziali. Esempi ed esercizi -...
23. Registri a scorrimento - Modulo 4
24. Sistemi complessi e decomposizione - Modulo 4
I podcast del corso sono disponibili anche su iTunesU e tramite Feed RSS.