indice - UniNa STiDuE

RETI LOGICHE
(a.a 2007-2008)
SISTEMI DI NUMERAZIONE E CODICI
Sistema di numerazione decimale. Sistemi di numerazione a base
qualsiasi. Conversione tra sistemi a base diversa. Metodi di conversione da
binario a decimale. Aritmetica binaria. I codici. Codici efficienti. I codici
ridondanti. Probabilita' totale di errore non rivelato. Codice a controllo di parita'.
Codici a peso costante. Codici di Hamming. Codici riflessi.
ALGEBRA BOOLEANA
Costanti, variabili e funzioni. Funzioni di una variabile. Funzioni di due
variabili. Funzione OR. Funzione OR esclusivo. Funzione AND. Funzione NOR.
Funzione NAND. Principio di dualita'. Termini minimi e termini massimi. I
teoremi dell'algebra booleana. Teorema di De Morgan. Interpretazione circuitale
dell'algebra booleana. Semplificazione delle funzioni logiche. Il metodo di
semplificazione mediante le mappe di Karnaugh. Metodo tabellare di Quine - Mc
Cluskey. Le condizioni non specificate e le funzioni di funzione. Funzioni
simmetriche. Il riconoscimento delle funzioni simmetriche. Funzioni totalmente
simmetriche. Funzioni parzialmente simmetriche.
CIRCUITI COMBINATORI
Logica positiva e logica negativa. Circuiti porta. Itinerari e livelli.
Analisi dei circuiti AND-OR-NOT. Analisi dei circuiti NAND. Analisi dei
circuiti NOR. La sintesi dei circuiti combinatori. Sintesi di circuiti AND-ORNOT. La decomposizione in sconnessione semplice. Altre decomposizioni
disgiuntive. Decomposizione iterativa. Decomposizione multipla. Sintesi dei
circuiti NAND. Sintesi a partire da variabili dirette e negate. Sintesi a partire
dalle sole variabili dirette. La tecnica del bundling. Sintesi dei circuiti NOR. I
circuiti multiterminali. Semplificazione dei circuiti MT mediante le mappe di
Karnaugh. Semplificazione dei circuiti MT con il metodo tabellare. Selettori e
matrici.
CENNI SULLE MACCHINE SEQUENZIALI
La macchina sequenziale. Modello di Moore e modello di Mealy.
Alcune definizioni relative alle macchine sequenziali. Stati stabili e instabili.
Macchine asincrone e macchine sincrone. Macchine equivalenti. Macchina
minima. Stati equivalenti e fusione degli stati. Minimizzazione degli stati di una
macchina sequenziale. Minimizzazione degli stati con il metodo di Ginsburg.
I CIRCUITI SEQUENZIALI
Introduzione ai circuiti sequenziali. I flip-flop. Motivi che consigliano la
scelta dei circuiti sequenziali. Considerazioni sul grado di serializzazione, costo e
velocita'. Registri a scorrimento e contatori. Un modello generale per i circuiti
sequenziali. Funzionamento sincrono e a impulsi del modello fondamentale.
Problemi di temporizzazione e flip-flop master-slave. Funzionamento asincrono
del modello fondamentale.
CIRCUITI SEQUENZIALI ASINCRONI
Riconoscimento dei circuiti asincroni. L'analisi. Transizioni multiple,
cicli di instabilita' e corse. Sintesi dei circuiti sequenziali asincroni.
Determinazione della matrice primitiva delle sequenze. Matrice delle sequenze
della macchina minima. Codificazione dello stato. Determinazione della tavola di
flusso del modello fondamentale. Costruzione del circuito reale. Le alee nei
circuiti sequenziali asincroni. Alee statiche. Alee dinamiche. Alee essenziali.
Analisi di corse e alee. Logica a tre valori e metodo di Eichelberg. Alee multiple.
Reti iterative.
CIRCUITI SEQUENZIALI SINCRONI
Analisi dei circuiti sequenziali sincroni. Procedura di progetto. Sintesi
del diagramma di stato. Circuiti a memoria finita. Minimizzazione degli stati.
Codificazione e determinazione delle equazioni di eccitazione. Realizzazione del
circuito.
CIRCUITI SEQUENZIALI AD IMPULSI
Introduzione ai circuiti sequenziali ad impulsi. Circuiti
ad
secondo Moore e secondo Mealy. Procedura di progetto. I contatori.
impulsi