Semaforo1

R1
A1
V1

Semaforo2
R2
A2
V2

T1
T2
T3
T4

R1
R1
V1
A1

=
=
=
=

T1 =
T2 =
T3=
T4 =

y
y
y
y

V2
A2
R2
R2

30 seg
3 seg
30 seg
3 seg

Primera propuesta:
* Un contador de 1 seg
* 2^7 valores
Segunda propuesta:
* Un contador de 3 seg
* 2^5 valores

Tiempo
3 seg
6 seg
9 seg
12 seg
15 seg
18 seg
21 seg
24 seg
27 seg
30 seg
3 seg
3 seg
6 seg
9 seg
12 seg
15 seg
18 seg
21 seg
24 seg
27 seg
30 seg
3 seg

R1 =

A1 =

V1 =

R2 =

Contador

q4
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/q4

q3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1

SEGUNDA PROPU
q2
0
0
0
0
0
0
0
0
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
1
0
1
0
1

Q1Q0
Q3Q
0
0
1
1
1
11
10
1

1
1
1
1

q4/q3q2/q1q0

Q4=0

Q4=0

Q1Q0
Q3Q
0
1
0
1
11
1
1
10
Q1Q0
Q3Q
0
1
0
1

11
10
A2 =

/q4q3/q2q1/q0

V2 =

/q4

Reset =

q4/q3q2q1/q0

Q3Q
0
1
11
10

Q1Q0
0
1
1
1
1
1
1

SEGUNDA PROPUESTA
q1 q0
Estado
0
0
T1
0
1
T1
1
0
T1
1
1
T1
0
0
T1
0
1
T1
1
0
T1
1
1
T1
0
0
T1
0
1
T1
1
0
T2
1
1
T3
0
0
T3
0
1
T3
1
0
T3
1
1
T3
0
0
T3
0
1
T3
1
0
T3
1
1
T3
0
0
T3
0
1
T4
1
0
Reset

11
1
1

10
1
1

R1

A1

1
1
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
a cero

V1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1

R2
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
1
1
0

A2
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
1
1
1

V2
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0

1
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0

/q3+/q2/q1+/q2/q0
R1=

/q4 * (/q3 + /q2*/q1 + /q2*/q

A1=

q4*/q3*q2*/q1*q0

V1 =

/q4*(q3*q2 + q3*q1*q0) + q

11

1
1

11

10 Q4=1

10 Q4=1

Q1Q0
Q3Q2 0
0
1
1
1
11
10
Q1Q0
Q3Q2 0
0
1
1
1

1
1

1
1
1

11
1

11
1

10
1

10
1

1
1

11
1
1

10
1
1

11
10

R2 =

/q4*(q3*q2 + q3*q1*q0) + q

A2 =

/q4*q3*/q2*q1*/q0

V2 =

/q4*(/q3 + /q2*/q1)

RESET =

q4*/q3*q2*q1*/q0

/q3+/q2/q1

(/q3 + /q2*/q1 + /q2*/q0)

q3*q2*/q1*q0

q3*q2 + q3*q1*q0) + q4*(/q3*/q2 + /q3*/q1*/q0)

q3*q2 + q3*q1*q0) + q4*(/q3*/q2 + /q3*/q1)

q3*/q2*q1*/q0

/q3 + /q2*/q1)

q3*q2*q1*/q0