Esplora E-book
Categorie
Esplora Audiolibri
Categorie
Esplora Riviste
Categorie
Esplora Documenti
Categorie
Valentino Liberali
Universit di Milano Dipartimento di Tecnologie dellInformazione Via Bramante 65, 26013 Crema, Italy Tel.: +39-0373.898.247; Fax: +39- 0373.898.253 e-mail: liberali@dti.unimi.it
12 dicembre 2001
Sommario
q Segnali digitali e funzioni logiche q Domini di rappresentazione q Reti logiche combinatorie q Minimizzazione logica q Ritardi di propagazione q Reti logiche sequenziali q Macchine di Mealy e macchine di Moore q Dissipazione di potenza q Riferimenti bibliografici
J J J
I segnali digitali tollerano inaccuratezze dei componenti e rumore Le funzioni logiche sono semplici e ripetitive La progettazione digitale automatizzata
q FUNZIONI ELEMENTARI
L OR:
Y = A1 + A2 + K + An
(somma logica)
L Idempotenza:
x+ x = x
x x = x
x y = y x
( x y) z = x ( y z) x x = 0
x+ y = y+ x
( x + y) + z = x + ( y + z) x + x =1
L Propriet distributiva:
x ( y + z) = x y + x z x + ( y z) = ( x + y) ( x + z)
5
(x ) = x
x 1 = x x0 = 0 x ( x + y) = x x ( x + y) = x y
6
x+0= x x +1 = 1 x+ x y = x x+ xy = x+ y
Elettronica Digitale CMOS - Valentino Liberali
x+ y = xy
q DUALIT
x y = x + y
f ( x1 , x2 ,K , xn ,0,1,+,) = f ( x1 , x2 ,K , xn ,1,0,,+)
Domini di rappresentazione
Ap Pr plic o a Su gra zio Ist bro mm ni i r u ut zio ine ni Fu nz ion Bi i lo t gic he
CO M P DO OR MI TA NIO ME NT
O NI ALE I M R D O TTU RU T S
re so es oc Pr SC RI , he U gi c AL lo rte i r i Po gist or re ist
AL E
G Dominio G G
s an Tr
DOMINIO FISICO
Chip Schede
Rappresentazione comportamentale:
q Funzione booleana
Y=A
oppure
Y = NOT ( A)
A 0 1 Y 1 0
9
G Simbolo
G Schema circuitale
VDD (vdd) MP A
(in)
G Netlist
.SUBCKT INV in out vdd vss MP out in vdd vdd PMOS MN out in vss vss NMOS .ENDS INV
Y
(out)
MN
(vss)
10
G Layout
VDD
G Abstract
VDD
Vin
Vout
Vin
Vout
VSS
VSS
11
12
Pull-up e pull-down
q PULL-UP: la parte della porta logica che pilota luscita al livello logico alto (1) q PULL-DOWN: la parte della porta logica che pilota luscita al livello logico basso (0) q In TECNOLOGIA CMOS il pull-up formato da transistori PMOS mentre il pull-down formato da transistori NMOS q Solamente uno dei due tra pull-up e pulldown attivo BASSA DISSIPAZIONE DI POTENZA STATICA PULL-UP
VDD M2 A Y M1
PULL-DOWN
Elettronica Digitale CMOS - Valentino Liberali 13
Bassa dissipazione di potenza statica Altissima densit di integrazione Grande variet di funzioni logiche
14
VDD A B Y
PULL-UP
A 0 1
B 0 1 1
1 1 0
A
PULL-DOWN
15
VDD B A
PULL-UP
A 0 1
B 0 1 0
1 0 0
A B
PULL-DOWN
16
18
= =
A Y B
A Y B
q Qualsiasi rete logica pu essere realizzata con sole porte NAND oppure con sole porte NOR
Elettronica Digitale CMOS - Valentino Liberali 19
VDD A B Y B A
VDD B A Y A B
20
0 1 1 0
000
001
22
G NAND a 4 ingressi
CD 00 01 11 10 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
G NAND a 3 ingressi
A 0 1 BC 00 01 11 10 1 1 1 1 1 0 1 1
23
G NOR a 4 ingressi
AB 00 01 11 10 CD 00 01 11 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
G NOR a 3 ingressi
A 0 1 BC 00 01 11 10 1 0 0 0 0 0 0 0
MINTERMINI: funzioni che assumono valore 1 per una sola combinazione degli ingressi
24
G NAND a 4 ingressi
AB 00 01 11 10 CD 00 01 11 10 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1
G NAND a 3 ingressi
A 0 1 BC 00 01 11 10 1 1 1 1 1 0 1 1
MAXTERMINI: funzioni che assumono valore 0 per una sola combinazione degli ingressi
25
L Esempio (EXOR):
x y
f = x y + x y
26
L Esempio (EXOR):
x y
f = (x + y ) (x + y )
27
Minimizzazione logica
q Obiettivo: RIDURRE LA COMPLESSIT DELLA RETE q Quale complessit ? Una o pi tra queste:
L Numero di porte logiche L Numero o lunghezza delle interconnessioni L Numero di incroci fra le interconnessioni L Area di silicio L Potenza dissipata L Tempo di propagazione dei segnali L Tempo di collaudo L Costo del prodotto finale L Probabilit di guasto L
28
a 0 1
bc 00 01 11 10 1 0 0 1 0 1 1 0
Forma minima:
f = a c + a c
Forma canonica:
f = a b c + a b c + a b c + a b c
Elettronica Digitale CMOS - Valentino Liberali 29
a 0 1
bc 00 01 11 10 1 0 0 1 0 1 1 0
Forma minima:
f = (a + c ) (a + c )
Forma canonica:
f = (a + b + c ) (a + b + c ) (a + b + c ) (a + b + c )
Elettronica Digitale CMOS - Valentino Liberali 30
ab 00 01 11 10
cd 00 01 11 10 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0
Forma minima:
f = bd
Forma canonica:
f = a b c d + a b c d + a b c d + a b c d
Elettronica Digitale CMOS - Valentino Liberali 31
ab 00 01 11 10
cd 00 01 11 10 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0
Forma minima:
f = b c d + a c d + a b d
33
ab 00 01 11 10
cd 00 01 11 10 1 0 0 1 1 0 0 1 1 0
Forma minima:
f =b
34
v Potenza dissipata
Elettronica Digitale CMOS - Valentino Liberali 35
( VGS Vth )2 =
2
2 VDS 2
ox W = tox L
36
Ritardi di propagazione
q Modello per il calcolo del ritardo:
MOS
vi vo
VDD
q Capacit totale:
RP
vo CI CW CL
RN
37
q Capacit di gate:
C gate
p-
ox = WL tox
Cgate MOS
Gch
q Capacit di source/drain: Cd = C jaWL + C jp ( 2W + 2 L) q Ogni stadio autocaricato dalla propria capacit di uscita
Elettronica Digitale CMOS - Valentino Liberali
LC LC
: capacit di giunzione per unit di area jp : capacit di giunzione per unit di lunghezza del perimetro
ja
38
Covl
Clat
substrato
metal 3 C23 metal 2 C22 C21 C22 metal 1
Elettronica Digitale CMOS - Valentino Liberali
q Se RP = RN
(inverter simmetrico):
TD = RC ln 2
q Linea autocaricata costituita da N stadi uguali q R e C sono la resistenza e la capacit di ogni stadio della linea 2 q Il ritardo della linea : N TD = RC
41
f = b c d + a c d + a b d
a
1
b
2
c
La porta (2) commuta a 0 prima che la porta (3) passi a 1, a causa del ritardo introdotto dallinverter sullingresso d luscita f ha un transitorio indesiderato a 0 (alea statica di tipo 0)
Elettronica Digitale CMOS - Valentino Liberali 42
+
C
Rappresentazione comportamentale
G Tabella della verit
A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 1 0 1 0 0 1 CO 0 0 0 1 0 1 1 1
G Mappe di Karnaugh:
L Somma S
A 0 0 1 1 B 0 1 1 0 C 0 0 1 0 1 1 1 0 1 0
L Carry CO
A 0 0 1 1 B 0 1 1 0
G Funzione booleana
S = A B C + A B C + A B C + A B C CO = A B + A C + B C
Elettronica Digitale CMOS - Valentino Liberali
C 0 0 0 1 0
1 0 1 1 1
44
Rappresentazione strutturale
q Schema CMOS
a s b c a b c
b co b
c s c b
45
+
CO A B
+
(n-bit) C
+ + +
G A, B: ingressi a n bit G C: ingresso a 1 bit (riporto) G S: uscita a n bit G CO: uscita a 1 bit (riporto) G La velocit del circuito G
limitata dal ritardo di propagazione del riporto lungo i sommatori a 1 bit Laumento del numero di bit della parola richiede pi tempo per loperazione
46
48
L ingressi M ingressi
logica combinatoria
M elementi di memoria
q In una rete sequenziale sempre N uscite possibile distinguere una parte combinatoria e un insieme di elementi di N uscite memoria q Le variabili stato M uscite possono essere considerate ingressi secondari e uscite secondarie
50
Q S
S 0 0 1 1
R 0 1 0 1
Q Q 0 1 0
Q Q 1 0 0
51
L un elemento di memoria di tipo master-slave L Il master immagazzina il dato quando il clock va alto L Lo slave immagazzina il dato quando il clock va basso L Memorizza il bit di ingresso e lo mantiene per un periodo di
clock
ck ck ck ck ck Q
ck
ck
ck Q
52
10
A,0 A,0 B,1 A,0 C,0 B,1 B,1 C,1 A,0 B,1 C,0 A,1
A
01,1 11,1 00,1 10,1
B
01,1
11,0
53
A
01,1 11,1 00,1 10,1
B
01,1
11,0
54
55
Macchine di Mealy
q Una macchina di Mealy una macchina a stati finiti in cui luscita dipende sia dallo stato presente sia dallingresso q Linsieme costituito dallo stato presente e dallingresso presente determina sia lo stato prossimo sia luscita
11,1 00,0 01,0 10,0 00,0 10,1
A
01,1 11,1 00,1 10,1
B
01,1
11,0
56
Macchine di Moore
q Una macchina di Moore una macchina a stati finiti in cui luscita dipende solamente dallo stato q Linsieme costituito dallo stato presente e dallingresso presente determina solamente lo stato prossimo 00 01 q Ad ogni stato 10 corrisponde un solo valore di uscita
Elettronica Digitale CMOS - Valentino Liberali
10 A C A
11
00 10
A/0
01 11 00 10
B/1
01
C/1
11
57
58
A/0
01 11 00 10
B/1
01
C/1
11
MOORE
11,1 00,0 01,0 10,0 00,1 10,1
A
01,1 11,1 00,0 10,0
B
01,1
11,1
MEALY
59
A
01,1 11,1 00,1 10,1
B
01,1
11,0
MEALY
00 01 10
A0/0
00 01 10 11 11
00 10
00 01
C0/0
11
11 10
A1/1
B1/1
01 11 00 10 01
C1/1
MOORE
60
10 (?)
XX,X 00,0 10,1
00 (A)
01 (B)
01,1 11,1 00,1 10,1
11 (C)
11,0
01,1
61
Ritardi di propagazione
G I carichi capacitivi sulle linee introducono ritardi sul clock G La differenza di ritardi sul clock (clock
skew) pu causare malfunzionamenti
L Se il ritardo
maggiore della somma di 1 e del ritardo della logica combinatoria, il secondo flip-flop legge il dato con un periodo di anticipo (e il dato precedente viene perso)
2
62
Dissipazione di potenza
q Potenza dissipata: dove:
L P = potenza assorbita per la carica e la scarica delle capacit L P = potenza dissipata dalla conduzione simultanea di PMOS e NMOS durante la commutazione L P = potenza di leakage dovuta alle giunzioni polarizzate inversamente L P = potenza di conduzione statica (per i circuiti CMOS
sw cr leak stat
nulla)
63
I D = I S e qVD / kT 1
n+ + n+
)
64
VDD R Y M 1
65
G Nelle porte logiche CMOS le correnti statiche dovrebbero essere nulle G Nelle tecnologie moderne esiste una corrente G
statica dovuta alla conduzione sotto soglia (per VDS = VDD e VGS = 0 il MOS conduce) Le correnti statiche NON sono nulle per le porte logiche con carico resistivo e per quelle in tecnologia bipolare
logiche
1 2 E = C LVDD 2
q Il MOS che conduce dissipa unenergia pari a quella trasferita
M 2 A CL M 1 Y
66
f =
VDD M 2 A Y CL M 1
67
Pswit
2E 2 = = C LVDD f T
VDD M 2 Y CL M 1
68
71
Riferimenti bibliografici
q P. Pirsch. Architectures for Digital Signal Processing. John Wiley & Sons, Chichester, UK, 1998. q A. P. Chandrakasan and R. W. Brodersen. Low Power Digital CMOS Design. Kluwer Academic Publishers, Norwell, MA, USA, 1995. q N. H. E. Weste and K. Eshraghian. Principles of CMOS VLSI Design (2nd edition). Addison-Wesley, Reading, MA, USA, 1993.
72