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

          

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)

Pag. 269

Primo capoverso in alto. Si legga:

Pag. 280

Primo capoverso in alto.
Si cancelli il periodo: "In basso, il conteggio... numero generato.". Si legga quindi:

Pag. 282

Prima figura in alto. Corretto il blocco decisionale sulla sinistra:

Pag. 303

La figura in alto è stata completata di alcuni particolari:

Pag. 304

Capoverso in fondo a destra della figura. Si legga:

Pag. 341

Si sostituiscano le mappe che rappresentano iY e iX con le seguenti:

Si sostituiscano le espressioni che descivono iY e iX con le seguenti:

Pag. 343

Schema della rete, come risulta dalla sintesi corretta:

Pag. 345

Secondo capoverso. Si legga:

Pag. 354

Esercizio 3. Nell'elenco numerato, al punto 1, si legga:

Pag. 369

La soluzione corretta dell'esercizio 8 è la seguente: