Prefazione

Capitolo 1 Introduzione

Capitolo 2 Algebra di Boole e di comunicazione
Algebra di Boole
Proprieta' dell'algebra
Algebra di commutazione
Funzioni ed espressioni
Espressioni booleane
Funzioni booleane
Tabella della verita'
Funzioni non completamente specificate
Forme canoniche
Teorema di espansione
Prima forma canonica
Seconda forma canonica
Espressioni e proprieta' dell'algebra
Porte logiche
Operatori funzionalmente completi: NAND e NOR
Altre porte logiche
Circuiti logici
Esercizi

Capitolo 3 La codifica dell'informazione
Codice e codifiche
Codici numerici
Rappresentazione dei numeri naturali
Codifica naturale
Rappresentazione dei numeri relativi
Codifica in modulo e segno
Codifica in completamento alla base
Codifica in completamento alla base diminuita
Rappresentazione dei numeri razionali
Codifica in virgola fissa
Codifica in virgola mobile
Standard IEEE 754
Altri codici
Binary-coded decimal (BCD)
Gray
One-hot
Aritmetica binaria
Somma e sottrazione in codifica binaria naturale
Somma algebrica in codifica modulo e segno
Somma algebrica in completamento a 1
Somma algebrica in completamento a 2
Moltiplicazione in codifica binario naturale
Moltiplicazione in codifica modulo e segno
Moltiplicazione in complemento a 2
Esercizi

Capitolo 4 Reti combinatorie
Introduzione
Formalizzazione della specifica
Sintesi
Prima forma canonica
Seconda forma canonica
Funzioni non completamente specificate
Minimizzazione esatta
Metodo delle mappe Karnaugh
Metodo di Quine-McCluskey
Metodi di supporto alla copertura
Minimizzazione euristica di reti a due livelli
Approccio iterativo
Descrizione del problema e soluzione iniziale
Trasformazioni
Minimizzazione rustica di reti su piu' livelli
Modello di riferimento
Trasformazioni
Applicazione delle trasformazioni
Esercizi

Capitolo 5 Circuiti combinatori speciali
Reti combinatorie di base
Multiplexer
Demultiplexer
Decoder
Priority encoder
Sommatori e sottrattori
Sommatori ripple-carry
Sommatori carry look-ahead
Sommatori carry-save
Sommatori misti
Sommatori/sottrattori
Complementatori
Complemento a uno
Complemento a due
Comparatori
Comparatori di uguaglianza
Comparatori generici
Moltiplicatori
Unita' aritmetico logiche
Multiplexed ALU
Bit-sliced ALU

Capitolo 6 Macchine a stati finiti
Introduzione
Macchina di Moore e macchina di Mealy
Modelli per le macchine a stati finiti
Grafo di transizione dello stato
Tabella di transizione dello stato o tabella degli stati
Modello di Huffman
rete logica sincrona
Differenze tra modelli comportamentali e modelli comportamentali/strutturali
Procedura di trasformazione dei modelli
Procedura per il passaggio da una macchina di Moore a una di Mealy
Procedura per il passaggio da una macchina di Mealy a una di Moore
Esercizi

Capitolo 7 Bistabili
Introduzione
Classificazione basata sulla modalita' di sincronizzazione
Latch SR asincrono
Latch SR sincrono
Flip-flop master-slave
Flip-flop data lock-out
Flip-flop edge-triggered
Classificazione basata sul tipo
Tipo SR
Tipo D
Tipo JK
Tipo T
Temporizzazione e metastabilita'
Ingressi asincroni di preset e clear
Analisi di funzionamento temporale
Esercizi

Capitolo 8 Sintesi delle macchine a stati finiti
I passi della fase di progetto
Dalla specifica al diagramma dello stato
Stato di partenza
Modelli di Mealy e di Moore
Sequenza di interesse e completamento delle transizioni
Dal diagramma di stato alla tabella degli stat
Codifica dello stato
Codifica distanza minima
Codifica a priorita'
Codifica basata sull'uscita
Dalla tabella delle transizioni di stato codificato alla tabella delle eccitazioni
Riepilogo
Esercizi

Capitolo 9 Ottimizzazione delle macchine a stati finiti
Introduzione
Macchine completamente specificate
Macchine non completamente specificate
Esercizi

Capitolo 10 Ottimizzazione strutturale
Introduzione
Retiming
Modello per il retiming
Aspetti generali
Minimizzazione del periodo di clock
Minimizzazione dell'area
Pipelining ottimo
Peripheral retiming
Esercizi

Capitolo 11 Circuiti sequenziali speciali
11.1 Registri
Registro parallelo/parallelo
Registro serie/parallelo
Registro serie/serie
Registro serie/serie circolare
Registro parallelo/serie
Contatori
Progettazione comportamentale dei contatori
Progettazione strutturale dei contatori
Contatori veloci

Bibliografia