Reti sequenziali come Macchine a Stati Finiti
7.1 Modello generale di Macchina a Stati Finiti
7.1.3 Esempio di Macchina a Stati Finiti Sincrona
Esempio di rete sequenziale sincrona:
Schema della stessa rete, riorganizzato secondo il modello generale della MSF Sincrona di Moore:
7.2 Diagrammi ASM
7.2.1 Descrizione degli stati
7.2.2 Ingressi
Contatore a modulo variabile
Contatore binario bidirezionale
Rivelatore di fronti: prima versione (4 stati)
7.2.3 Uscite condizionate
Rivelatore di fronti: seconda versione (2 stati, con uscite condizionate)
Rivelatore di fronti:: terza versione (4 stati, con uscite condizionate)
7.3 Esempi di costruzione di diagrammi ASM
7.3.1 Esempi introduttivi
Esempio 1
Esempio 2
Esempio 3
Esempio 4
Esempio 5
Esempio 6
Esempio 7
Esempio 8
Esempio 9
Esempio 10
Esempio 11 (versioni Moore e Mealy) .
Esempio 12
7.3.2 Generatore di impulsi a rapporto pieno/vuoto regolabile
Prima e seconda versione
Terza versione
7.3.3 Riconoscitore di sequenza
7.3.4 Trasmettitore Seriale Sincrono (2 bit)
7.3.5 Ricevitore di comando in formato seriale sincrono
7.3.6 Ricevitore Seriale Sincrono (2 bit)
7.3.7 Gestione di pulsanti
7.3.8 Registro a Scorrimento (3 bit)
Comportamento della rete in termini di MSF
7.3.9 Rete sequenziale con uscita condizionata
Comportamento della rete in termini di MSF
7.3.10 Registro a scorrimento con albero di EXOR
Comportamento della rete in termini di MSF
7.4 Sintesi della MSF sincrona
7.4.2 Descrizione della MSF mediante tabella degli stati
Il diagramma da cui sintetizzare la rete
7.4.3 Sintesi dalla tabella degli stati
Le reti combinatorie del prossimo stato e dell'uscita
7.4.4 Esempi di sintesi di MSF sincrone
Esempio 1: diagramma degli stati e schema logico derivante dalla sintesi
Esempio 2: diagramma degli stati e schema logico derivante dalla sintesi con flip-flop di tipo D-PET
Esempio 2: schema logico derivante dalla sintesi con flip-flop di tipo JK-PET
Esempio 3: diagramma degli stati e schema logico derivante dalla sintesi
Esempio 4: diagramma degli stati
Esempio 4: schema logico derivante dalla sintesi
7.6 Esercizi
7.6.1 Analisi di reti sequenziali in termini di MSF
Un click sul simbolo del componente, riportato alla destra di ogni schema, aprirà nel Deeds-FsM la traccia, da completare, della corrispondente MSF.
Un click sullo schema, invece, aprirà nel Deeds-Dcs una rete che consentirà di confrontare, aggiungendovi la vostra MSF, il comportamento della rete data con la vostra soluzione.
Rete 1
Rete 2
Rete 3
Rete 4
Rete 5
Rete 6
Rete 7
Rete 8
7.6.2 Progetto di MSF a partire da specifiche testuali
Un click sul simbolo del componente, riportato sulla sinistra, aprirà nel Deeds-FsM la traccia della MSF da progettare, dove sono già definite le variabili di stato, gli ingressi e le uscite.
Completato il diagramma degli stati, stampare il file PDF con il tracciato temporale (fare click sulla figura al centro). Il tracciato è lo stesso che compare sul libro sotto al testo dell'esercizio. Deve essere completato su carta senza l'ausilio del simulatore.
Infine, con un click sullo schema a destra, è possibile aprire nel Deeds-Dcs la rete a cui aggiungere la vostra MSF, per completarne liberamente l'analisi del suo comportamento, mediante simulazione temporale.
Esercizio 1
Esercizio 2
Esercizio 3
Esercizio 4
Esercizio 5
Esercizio 6
Esercizio 7
Esercizio 8
7.7 Soluzioni
7.7.1 Analisi di reti sequenziali in termini di MSF
Soluzione del diagramma degli stati della Rete 1
Soluzione del diagramma degli stati della Rete 2
Soluzione del diagramma degli stati della Rete 3
Soluzione del diagramma degli stati della Rete 4
Soluzione del diagramma degli stati della Rete 5
Soluzione del diagramma degli stati della Rete 6
Soluzione del diagramma degli stati della Rete 7
Soluzione del diagramma degli stati della Rete 8
7.7.2 Progetto di MSF a partire da specifiche testuali
Fare click sul diagramma a sinistra per aprire la soluzione nel Deeds-FsM . Con un click sullo schema a destra, invece, è possibile aprire nel Deeds-DcS la rete, per verificarne il comportamento mediante simulazione temporale.
Soluzione esercizio 1
Soluzione esercizio 2
Soluzione esercizio 3
Soluzione esercizio 4
Soluzione esercizio 5
Soluzione esercizio 6
Soluzione esercizio 7
Soluzione esercizio 8
7. Errata Corrige (Cap. 7)
Nessuna
