CID_422A_Cucu_George-Sorin_TC4

Problema:
Se consider automatul care recunoate sevenele binare de tipul: 01010n unde n>0. Se cere:
1. Desenai graful care descrie automatul.
2. Desenai diagramele VK de tranziie pentru funciile f i g.
3. Extragei funciile de tranziie.
4. Desenai structura automatului
5. Scriei n Verilog descrierea automatului
6. Sintetizai structura.
7. Scrieti modulul de test in Verilog.
8. Simulati funcionarea autoamtului.
1. Desenai graful care descrie automatul.

Desenai diagramele VK de tranziie pentru funciile f i g.

Extragei funciile de tranziie.
str_crt
S1
S2
S3
S4
S5
S6

in
0
1
0
1
0
1
0
1
0
1
0
1

Str_urm
S2
S1
S1
S3
S4
S1
S1
S5
S6
S1
S6
S1

out
0
0
0
0
0
0
0
0
0
0
1
1

Codificarile alese pentru spatiul starilor sunt urmatoarele:

S1: 001
S2: 010
S3: 100
S4: 101
S5: 110
S6: 111
str_crt
S1
S2
S3
S4
S5
S6

Q2
0
0
0
0
1
1
1
1
1
1
1
1

Q1
0
0
1
1
0
0
0
0
1
1
1
1

Q0
1
1
0
0
0
0
1
1
0
0
1
1

INTRAR
E
in
0
1
0
1
0
1
0
1
0
1
0
1

str_urm
Q2*
0
0
0
1
1
0
0
1
1
0
1
0

Q1*
1
0
0
0
0
0
0
1
1
0
1
0

IESIRE
Q0*
0
1
1
0
1
1
1
0
1
1
1
1

out
0
0
0
0
0
0
0
0
0
0
1
1

Q2
0
0
0
0
1
1
1
1
1
1
1
1

str_crt
Q1
0
0
1
1
0
0
0
0
1
1
1
1

Q0
1
1
0
0
0
0
1
1
0
0
1
1

in
0
1
0
1
0
1
0
1
0
1
0
1

out
0
0
0
0
0
0
0
0
0
0
1
1

B2
0
0
0
1
1
0
0
1
1
0
1
0

in_bistabil
B1
1
0
0
0
0
0
0
1
1
0
1
0

B0
0
1
1
0
1
1
1
0
1
1
1
1