1 2 1 2

Struttura di memoria bistabile

store

store
in 1 2 1 2
 1 2 1 2

Vx Vy
Vy

Vx Vx

equilibrio stabile
Vy
equilibrio
instabile
Punti di equilibrio
equilibrio stabile

Vx
 Latch SR

R (reset)
1
3 Q S R Q Q'
2
1 0 1 0 set
0 1 0 1 reset
0 0 Q Q' storage
4
6 1 1 - - undefined
5 Q’
S (set)
 Latch S R

S’ 9 S’ R’ Q Q'
8 Q
10 0 1 1 0 set
1 0 0 1 reset
1 1 Q Q' storage
4
6 0 0 - - undefined
5
R’ Q’
Latch SR con controllo

S 9
8 S’ 9 Q
10 8
10

C
4
9 6
8 5

R 10
R’ Q’

C S R Q Q'
0 x x Q Q' storage
1 1 0 1 0 set
1 0 1 0 1 reset
1 0 0 Q Q' storage
1 1 1 - - undefined
 Latch D

9
D 8 9
Q
10 8 2 5
10 D Q 6
3 Q
CLK
C 1
4 CLR
PRE
4
9 6
8 5
1 2 10 Q’

C D Q Q'
0 x Q Q' storage
1 0 0 1 reset
1 1 1 0 set
 Flip-Flop SR Master Slave
Q Q
S S S

C C C
Q’ Q’
R R R

1 2

Q e Q’ aggiornati sul fronte di discesa di C

I flip-flop aggiornano l’uscita solo nell’istante della

transizione del segnale di controllo
 Flip-Flop JK Master Slave
1
Q Q
3 S S
J 2

C C C
4
K 6 Q’ Q’
5 R R

1 2

J K Q
0 0 Q storage
0 1 0 reset
1 0 1 set
1 1 Q' toggle
 Flip-Flop D Master Slave
Q Q
D D S

C 3 4 C C
Q’ Q’
R

3 4

Q e Q’ aggiornati sul fronte di salita di C

 Rappresentazione
Register Transfer Level (RTL)

Rete Rete

Flip-Flop

Flip-Flop
combina combina
x toria y toria z

clock clock
 Macchiana a stati finiti (FSM)
in out
Rete
combinatoria
state next state

Flip-Flop

clock

M: <S,I,O,f,g> (Mealy) M: <S,I,O,f,g> (Moore)

S: insieme (finito) degli stati
I: insieme dei valori dell’ingresso
O: insieme dei valori dell’uscita
f: funzione di stato f: SxI -> S
g: funzione d’uscita g: SxI -> O
S: insieme (finito ) degli stati
I: insieme dei valori dell’ingresso
O: insieme dei valori dell’uscita
f: funzione di stato f: SxI -> S
g: funzione d’uscita g: S -> O
 Macchina a stati di Mealy
1/0
1/0
M: <S,I,O,f,g> (Mealy) A 0/0 B
S: insieme degli stati
I: insieme dei valori dell’ingresso
O: insieme dei valori dell’uscita 0/0 0/1
f: funzione di stato f: SxI -> S
g: funzione d’uscita g: SxI -> O C
1/1

state \ input 0 1 state \ input 0 1

next
A C/0 B/0 A state/out

B A/0 B/0 B

C B/1 C/1 C
 Macchina a stati di Mealy 1/0
1/0

state \ input 0 1 00 0/0 01

00 10/0 01/0
0/0 0/1
01 00/0 01/0
10
10 01/1 10/1 1/1
S1 S2 in nxtS1 nxtS2 out
0 0 0 1 0 0
0 0 1 0 1 0
0 1 0 0 0 0
0 1 1 0 1 0
1 0 0 0 1 1
1 0 1 1 0 1
1 1 x d d d
 Macchina a stati di Moore
1
1
M: <S,I,O,f,g> (Moore) A/0 0 B/0
S: insieme degli stati
I: insieme dei valori dell’ingresso
O: insieme dei valori dell’uscita 0 0
f: funzione di stato f: SxI -> S
g: funzione d’uscita g: S -> O C/1
1

state \ input 0 1 out

A C B 0

B A B 0

C B C 1