Digital Electronics Deeds

Reti sequenziali come Macchine a Stati Finiti

Esempi Esercizi Soluzioni Errata corrige

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