MACCHINE A STATI FINITI

Slides:



Advertisements
Presentazioni simili
MULTIVIBRATORI BISTABILI
Advertisements

Dalla macchina alla rete
Capitolo 4 Logica sequenziale
Introduzione ai circuiti elettronici digitali
Cassaforte asincrona SR
Cassaforte asincrona con retroazioni dei FF SR La Cassaforte asincrona è una rete che una volta ricevuti in ingresso le combinazioni , invia un.
Macchine sequenziali Capitolo 4.
Circuiti sequenziali Capitolo 5.
Circuiti sequenziali ad impulsi
Introduzione ai circuiti sequenziali
A.S.E.25.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 25 Reti sequenziali sincronizzate complesseReti sequenziali sincronizzate complesse –Macchina.
ARCHITETTURA DEI SISTEMI ELETTRONICI
Argomenti complementari Capitolo 9. Clock Skew Se vi sono dei ritardi sulla linea del clock il funzionamento del circuito potrebbe risentirne pesantemente.
PSPICE – Circuiti sequenziali principali
Flip-flop e Registri.
Macchine sequenziali.
Dalla macchina alla rete: reti LLC
Macchine sequenziali.
Sintesi con circuiti LSI-MSI. Realizzazione di reti combinatorie mediante Multiplexers Un multiplexer (MPX ) é una rete combinatoria con N ingressi, una.
Aspiranti ingegneri dell’informazione RETI LOGICHE insegna
Esempi di Automi a stati Finiti
Progetto RSS Creazione di una rete per gestire lo spegnimento di macchine in caso di blackout.
Rete Sincrona Una rete sequenziale sincrona, è dotata di un ingresso E, di un segnale di Clock e uno di reset. Ad ogni fronte del Clock, deve essere campionato.
1 Premessa In questo progetto sono stati implementati tutti gli esercizi di Complementi di esercizi di Reti logiche. Elenco degli esercizi svolti: 1.Registro.
PROGETTO 1 Un lettore di musica digitale è dotato di un sistema per la regolazione del volume composto da tre pulsanti + e – e [] e progettato in modo.
Una macchina sequenziale asincrona ha due ingressi x1, x2 e un'uscita z. Gli ingressi non cambiano mai di valore contemporaneamente. L'uscita assume il.
Cassaforte Asincrona di Mealy
Una rete sequenziale asincrona e' caratterizzata da due segnali di ingresso X1, X2 (i quali non cambiano mai contemporaneamente) e da un segnale di uscita.
VHDL come strumento di progetto di circuiti digitali Antonio Deledda Corso di Elettronica dei Sistemi Digitali LS AA
Contatore: esempio di circuito sequenziale
Sistemi Complessi di reti sequenziali Pipeline
Automi LAVORO SVOLTO DA MARIO GERMAN O
Progetto Asincrono Schematico.
Riassunto Rete Vi sono dunque due ingressi (X1,X2) e ununica uscita; X1 e X2 non cambiano mai contemporaneamente Luscita va a 1 se viene rispettata la.
In una macchina automatica vengono utilizzati due segnali binari X1,
Capitolo 8: Progetto di Macchine a Stati Finiti Reti Logiche Contemporary Logic Design Randy H. Katz University of California, Berkeley May 1993.
Una rete sequenziale asincrona è dotata di due ingressi X1, X2 e di un’uscita Z. I segnali X2 e X1 non cambiano mai di valore contemporaneamente. Il segnale.
Una rete sequenziale asincrona è dotata di due ingressi X1, X2 e di un’uscita Z. I segnali X2 e X1 non cambiano mai di valore contemporaneamente. Il segnale.
Una rete sequenziale asincrona ha due ingressi C,X e un’uscita Z. I segnali C,X non cambiano mai di valore contemporaneamente. Il segnale C è periodico;
V.1. Considerazioni generali V.2. Flip-Flop V.3 Esempi applicativi
Informatica 3 V anno.
Analisi e Sintesi di un contatore BCD con Quartus II
ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 11 Reti sequenzialiReti sequenziali BistabileBistabile Flip - Flop S – RFlip - Flop S – R 11.1A.S.E.
Circuiti Sequenziali Elementi di memoria Logic combinatoria Inputs
LATCH. Circuiti Sequenziali I circuiti sequenziali sono circuiti in cui lo stato di uscita del sistema dipende non soltanto dallo stato di ingresso presente.
Algebra di Boole.
Circuiti di memorizzazione elementari: i Flip Flop
ARCHITETTURA DEI SISTEMI ELETTRONICI
Dalla macchina alla rete: reti LLC. Dalla macchina alla rete Per realizzare una macchina sequenziale è necessario –Codificare gli insiemi I,S,O con variabili.
Architettura degli Elaboratori 1
A.S.E.24.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 24 Reti sequenziali sincronizzate complesseReti sequenziali sincronizzate complesse –Macchina.
A.S.E.22.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 22 Riconoscitore di sequenzaRiconoscitore di sequenza Sintesi di contatore modulo 8Sintesi di.
A.S.E.18.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 18 Reti sequenzialiReti sequenziali –concetto di memoria –anelli di reazione EsempioEsempio.
A.S.E.23.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 23 Sintesi di contatore modulo 8Sintesi di contatore modulo 8 Contatori modulo 2 NContatori.
A.S.E.21.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 21 Tecnica di sintesiTecnica di sintesi EsempiEsempi Riduzione del numero di statiRiduzione.
Reti Sequenziali Corso di Architetture degli Elaboratori Reti Sequenziali.
A.S.E.22.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 22 Sintesi di contatore modulo 8Sintesi di contatore modulo 8 Contatori modulo 2 NContatori.
Capitolo 10: Realizzazione di Macchine a Stati Finiti Reti Logiche Contemporary Logic Design Randy H. Katz University of California, Berkeley May.
A.S.E.19.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 19 Contatori Sincroni modulo “2 N ”Contatori Sincroni modulo “2 N ” Contatori sincroni modulo.
A.S.E.16.1 ARCHITETTURA DEI SISTEMI ELETTRONICI LEZIONE N° 16 Porte Tri StatePorte Tri State Reti sequenzialiReti sequenziali –concetto di memoria –anelli.
TEORIA DEGLI AUTOMI Una macchina sequenziale a stati finiti o AUTOMA a stati finiti è un sistema sequenziale che ha un insieme finito di stati interni,
In una macchina automatica vengono utilizzati due segnali binari X1, X2 per verificare la corretta esecuzione di una certa attività su ciascun prodotto.
Calcolatori Elettronici
Politecnico di MilanoC.Brandolese, F.Salice Sintesi FSM – Prima parte Calcolatori Elettronici.
La tabella delle verità è un modo per rappresentare il comportamento di una funzione combinatoria La tabella delle verità ha due tipi di colonne: colonne.
ELETTRONICA DIGITALE – circuiti sequenziali
Sistemi Elettronici Programmabili3-1 FPGA: Architettura.
Modelli strutturali reti sequenziali. Il transitorio nelle reti Una rete combinatoria ideale è definita dal mapping Y=f(X) in cui X e Y sono vettori di.
Algoritmi Avanzati a.a.2011/2012 Prof.ssa Rossella Petreschi Interconnessione tramite reti Lezione n°6.
Memorie Laboratorio di Architetture degli Elaboratori I
Transcript della presentazione:

MACCHINE A STATI FINITI Antonio Deledda Corso di Elettronica dei Sistemi Digitali LS AA 2005-2006

Macchina a Stati Finiti (Fsm) Y(n)=f(x(n)) => Sistema Combinatorio Y(n)=f(x(n),x(n-1),x(n-2),…..) => Macchina a Stati finiti

Struttura di una FSM La rete combinatoria realizza le funzioni ω e δ (tabelle di verità) Rete sincrona LLC (Level Level Clocked) La macchina cambia stato ad ogni fronte attivo del clock (ogni nuovo “colpo di clock”) I registri di stato (FF) memorizzano il valore presente delle variabili di stato

Macchina a Stati Finiti DESCRIZIONE DI MEALY DESCRIZIONE DI MOORE S(n+1) = F( x(n) , S(n) ) Y(n) = F( S(n) , X(n) ) S(n+1) = F( x(n) , S(n) ) Y(n) = F( S(n) )

Definizioni Una FSM è una macchina di Moore se, ad ogni istante, il valore delle uscite dipende esclusivamente dallo stato attuale e non dallo stato attuale degli ingressi. Una FSM è una macchina di Mealy se, ad ogni istante, il valore delle uscite dipende sia dallo stato attuale che dall' attuale valore degli ingressi. Durante la permanenza in uno stato, una variazione dell'ingresso di una macchina di Mealy può ripercuotersi immediatamente sull'uscita. Una macchina di Moore può essere trasformata in una macchina di Mealy con lo stesso numero di stati. Una macchina di Mealy può essere trasformata in una macchina di Moore con un numero di stati generalmente maggiore.

FSM: Implementazione Fisica (Mealy) S(n+1) STATO S(n) X(n) STATO S(n) Y(n) X(n) (Glitch) (Glitch)

FSM: Implementazione Fisica (Moore) S(n+1) STATO S(n) X(n) Y(n) (Glitch) (No Glitch)

FSM: Implementazione VHDL (Moore) Architecture struct of FSM is type stato is (a,b,c,d); signal cs,ns : stato; Begin -- Processo sequenziale process(clk,reset) begin if reset='1' then cs <= a; elsif clk'event and clk='1' then cs <= ns; end if; end process; process(cs,ns,ingressi) begin case cs is when A=> out <= uscita1; if ingressi=… then ns <= A; elsif ingressi=… then ns <= B; else ns <= C; end if; when B=> out <= uscita2; When others => out<= uscita3; End case;

FSM: Implementazione VHDL (Mealy) Architecture struct of FSM is type stato is (a,b,c,d); signal cs,ns : stato; Begin -- Processo sequenziale process(clk,reset) begin if reset='1' then cs <= a; elsif clk'event and clk='1' then cs <= ns; end if; end process; process(cs,ns,ingressi) begin case cs is when A=> if ingressi = …then out <= uscita1; elsif ingressi=… then out <= uscita2; else out=uscita3; end if; if ingressi=… then ns <= A; ns <= B; ns <= C; [………………………………………..] End case;