se6mayo2012a

101
Introduccion Contadores Dos décadas en un GAL Asynchronous Reset Ascendente / Descendente Contadores Decimales Contadores Binarios Contadores Slides before 1st Section Divider Proyectos Adicionale s Decodificado r Incluido Exame n Final

Transcript of se6mayo2012a

Page 1: se6mayo2012a

Introduccion

Contadores

Dos décadas en un GAL

Asynchronous Reset

Ascendente / Descendente

Contadores Decimales

Contadores Binarios

ContadoresSlides before 1st Section Divider

Proyectos Adicionales

Decodificador Incluido

Examen Final

Page 2: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Haz lo necesario para lograr tu más ardiente deseo, y acabarás lográndolo. Ludwig van Beethoven

Page 3: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Lunes Martes Miércoles Jueves Viernes

7 PA6 8 9 10Día de las

Madres

11Día del Maestro

FIME

14 PA7 15Día del Maestro

16Día del Maestro

UANL

17 18 PA8

21 22 23PF M1

24PFM2,M3 25

28 29 30M1

31 PF M4 1

M3M24

M45 6 7 8

Todos los exámenes son a las 7:00 AM en la sala de InformáticaSolo en los exámenes extraordinarios se solicitara la implementación

física del problema propuesto, es indispensable traer su material

Page 4: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

No Proyectos

1 Alarma y Aviones

2 Multiplexor de 8 a 1 línea

3 Sumador de 2 números binarios de 8 Bits c/n (2 sn74283)

3 Comparador de 2 números binarios de 8 Bits c/n (2 sn7485)

4 Decodificador de BCD a 7 Segmentos, (0 a 9 ), y del 10 al 15 mensaje o letrero

5 Convertidores de código

6 2 opciones de Generador de pulsos de Ck

7 El auto increíble con Rst solo M1 (GAL22V10)

7 Luces en donde la salida B debe de sustituirse por una Q M2, M3 y M4

8 M1 Contador de décadas descendente (9 a 0)

8 M2, M3 y M4 Contador Hexadecimal de 4 bits Ascendente/ descendente

Page 5: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores

Page 6: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador (counter en inglés)

Los contadores se pueden clasificar en:• Binarios (n bit´s)• Décadas (0 a 9)• Especiales

Pueden ser ascendentes (UP) y/o descendentes (DOWN)

Es un circuito digital secuencial construido a partir de Flip Flops y compuertas lógicas capaz de:

• Realizar el cómputo (conteo) de los pulsos que recibe en la entrada de sincronía (Clk).

• Actuar como divisor de frecuencia.

Habitualmente, el conteo se realiza en un código binario, que con frecuencia será el binario natural o el BCD natural (contador de décadas).

Page 7: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores Binarios

Los contadores binarios pueden

ser clasificados por:

1.- El número de bit’s

2.- El número máximo de estados

(Módulo del contador)

Los contadores binarios pueden

ser clasificados por:

1.- El número de bit’s

2.- El número máximo de estados

(Módulo del contador)

Bit’sConteo

AscendenteConteo

Descendente

1 0 a 1 1 a 0

2 0 a 3 3 a 0

3 0 a7 7 a 0

4 0 a 15 15 a 0

5 0 a 31 31 a 0

6 0 a 63 63 a 0

7 0 a 127 127 a 0

8 0 a 255 255 a 0

9 0 a 511 511 a 0

10 0 a 1023 1023 a 0

Page 8: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores Decimales

Los contadores decimales o también llamados de décadas o en BCD son de cuatro bit’s, necesarios para contar de:

• 0 a 9 ascendente

• 9 a 0 descendente

Los contadores decimales o también llamados de décadas o en BCD son de cuatro bit’s, necesarios para contar de:

• 0 a 9 ascendente

• 9 a 0 descendente

Page 9: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores Especiales

• Un contador especial puede ser un contador de un

minutero o segundero de un reloj digital o marcador

deportivo de 0 a 59 en forma ascendente y/o de 59 a 0

en forma descendente.

Page 10: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de un Bit

Tres opciones de diseño por medio de ABEL-HDL

1.- State_ Diagram

2.- Truth_table (Q0:>Q0)

3.- Equations S:=(S+1)

Page 11: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de un Bitstate_diagram

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ0 pin 19 istype 'reg';"sincronizaciónS=Q0;equationsS.Clk=Clk;DeclarationsE0=0;E1=1;

State_diagram SState E0:goto E1;State E1:Goto E0;

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ0 pin 19 istype 'reg';"sincronizaciónS=Q0;equationsS.Clk=Clk;DeclarationsE0=0;E1=1;

State_diagram SState E0:goto E1;State E1:Goto E0;

test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;

END

test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;

END

Page 12: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de un Bit

Truth_table (Q0:>Q0)

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ0 pin 19 istype 'reg';"sincronizaciónS=Q0;equationsS.Clk=Clk;

Truth_table(Q0:>Q0)0:>1;1:>0;test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ0 pin 19 istype 'reg';"sincronizaciónS=Q0;equationsS.Clk=Clk;

Truth_table(Q0:>Q0)0:>1;1:>0;test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;

Page 13: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de un Bit

Equations S:=(S+1)

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ0 pin 19 istype 'reg';"sincronizaciónS=Q0;equationsS.Clk=Clk;

S:=(S+1)test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ0 pin 19 istype 'reg';"sincronizaciónS=Q0;equationsS.Clk=Clk;

S:=(S+1)test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;

Page 14: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de un Bit

Divisor de frecuencia

1 2

1

Page 15: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’sascendente

Page 16: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’s

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ1,Q0 pin 19,18 istype 'reg';"sincronizaciónS=[Q1,Q0];equationsS.Clk=Clk;DeclarationsE0=[0,0];E1=[0,1];E2=[1,0];E3=[1,1];

MODULE cbub"EntradaClk pin 1;"salida RegistradaQ1,Q0 pin 19,18 istype 'reg';"sincronizaciónS=[Q1,Q0];equationsS.Clk=Clk;DeclarationsE0=[0,0];E1=[0,1];E2=[1,0];E3=[1,1];

State_diagram SState E0:goto E1;State E1:Goto E2;State E2:Goto E3;State E3:Goto E0;

State_diagram SState E0:goto E1;State E1:Goto E2;State E2:Goto E3;State E3:Goto E0;

Page 17: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’sascendente

Truth_Table([Q1,Q0] :>[Q1,Q0])

Truth_Table([Q1,Q0] :>[Q1,Q0])

[0,0]:>[0,1];

[0,1]:>[1,0];

[1,0]:>[1,1];

[1,1]:>[0,0];

Truth_Table([Q1,Q0] :>[Q1,Q0])

[0,0]:>[0,1];

[0,1]:>[1,0];

[1,0]:>[1,1];

[1,1]:>[0,0];

MODULE cbubas"EntradaClk pin 1;"salida RegistradaQ1,Q0 pin 19,18 istype 'reg';"sincronizaciónS=[Q1,Q0];equationsS.Clk=Clk;

Page 18: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’sascendente

equations S:=(S+1);

MODULE cbubas"EntradaClk pin 1;"salida RegistradaQ1,Q0 pin 19,18 istype 'reg';"sincronizaciónS=[Q1,Q0];equationsS.Clk=Clk;

S:=(S+1);test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;END

Page 19: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’s ascendente

test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;END

test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;END

1

1

3

0

0

0

1

0

2

1

1

3

0

0

0

0

1

1

1

0

2

1

1

3

0

1

1

Page 20: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’sdescendente

Page 21: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’sdescendente

State_diagram SState E0:goto E3;State E1:Goto E0;State E2:Goto E1;State E3:Goto E2;

State_diagram SState E0:goto E3;State E1:Goto E0;State E2:Goto E1;State E3:Goto E2;

Page 22: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Truth_Table([Q1,Q0] :>[Q1,Q0])

[0,0]:>[1,1];

[0,1]:>[0,0];

[1,0]:>[0,1];

[1,1]:>[1,0];

Truth_Table([Q1,Q0] :>[Q1,Q0])

[0,0]:>[1,1];

[0,1]:>[0,0];

[1,0]:>[0,1];

[1,1]:>[1,0];

MODULE cbubas"EntradaClk pin 1;"salida RegistradaQ1,Q0 pin 19,18 istype 'reg';"sincronizaciónS=[Q1,Q0];equationsS.Clk=Clk;

Contador Binario de dos Bit’s

descendente

Page 23: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

MODULE cbubas"EntradaClk pin 1;"salida RegistradaQ1,Q0 pin 19,18 istype 'reg';"sincronizaciónS=[Q1,Q0];equationsS.Clk=Clk;

S:=(S-1);

Contador Binario de dos Bit’s

descendente

Page 24: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario de dos Bit’sdescendente

test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;END

test_vectors(Clk->Q0).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;END

1

0

2

0

0

0

1

1

3

1

0

2

0

1

1

0

0

0

1

1

3

0

1

1

1

1

3

Page 25: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador binario de dos bit’s

Que contenga una entrada X de modo que:

a) Si X=0 se ascendente

b) Si X=1 sea descendente

Page 26: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

State_diagram S

State E0:

If X Then E3 else E1;

State E1:

if X then E0 else E2;

State E2:

if X then E1 else E3;

State E3:

if X then E2 else E0;

State_diagram S

State E0:

If X Then E3 else E1;

State E1:

if X then E0 else E2;

State E2:

if X then E1 else E3;

State E3:

if X then E2 else E0;

Page 27: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Truth_table

([X,Q1,Q0] :>[Q1,Q0])

[0,0,0]:>[0,1];

[0,0,1]:>[1,0];

[0,1,0]:>[1,1];

[0,1,1]:>[0,0];

[1,0,0]:>[1,1];

[1,0,1]:>[0,0];

[1,1,0]:>[0,1];

[1,1,1]:>[1,0];

Truth_table

([X,Q1,Q0] :>[Q1,Q0])

[0,0,0]:>[0,1];

[0,0,1]:>[1,0];

[0,1,0]:>[1,1];

[0,1,1]:>[0,0];

[1,0,0]:>[1,1];

[1,0,1]:>[0,0];

[1,1,0]:>[0,1];

[1,1,1]:>[1,0];

Page 28: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador de 2 Bits A/DMODULE contbad

"Entrada

Clk,X pin 1,2;

"salida Registrada

Q1,Q0 pin 19,18 istype 'reg';

"sincronización

S=[Q1,Q0];

equations

S.Clk=Clk;

when !X then S:=(S+1);

when X then S:=(S-1);

test_vectors

([Clk,X]->Q1)

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

END

Page 29: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Simulación

Ascendente Descendente

test_vectors

([Clk,X]->Q0)

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,0]->.x.;

test_vectors

([Clk,X]->Q0)

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,0]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,1]->.x.;

[.c.,0]->.x.;

Page 30: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario ascendente de 0 a 15

Page 31: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

MODULE conta"Constantes la señal de reloj en la simulación .c. se sustituye por C

“ La salida .x. se sustituye por solo x C,x = .c.,.x.;"Entrada de reloj Clk pin 1; "Salidas de los Flip Flops Q3..Q0 pin 19..16 istype 'reg,buffer';

Declarations

Cuenta = [Q3..Q0];

Equations

Cuenta.Clk=Clk;

Cuenta:= (Cuenta + 1);

Page 32: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

•Test_Vectors

•([Clk ] -> Cuenta)

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

•END

Page 33: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Divisor de frecuencias

8

4

2

1

Page 34: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Divisor de frecuencias

16

8

4

2

1

Clk/2

Clk/4

Clk/8

Clk/16

Page 35: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador Binario descendente de 0 a 15

Page 36: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

MODULE conta"Constantes la señal de reloj en la simulación .c. se sustituye por C

“ La salida .x. se sustituye por solo x

C,x = .c.,.x.;

"Entrada de reloj

Clk pin 1;

"Salidas de los Flip Flops

Q3..Q0 pin 19..16 istype 'reg';

Declarations

Cuenta = [Q3..Q0];

Equations

Cuenta.Clk=Clk;

Cuenta:= (Cuenta - 1);

Page 37: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

•Test_Vectors

•([Clk ] -> Cuenta)

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

• [ C ] -> x ;

•END

Page 38: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Cuatro bits (Hexadecimal) A/D

MODULE contbad"EntradaClk,DA pin 1,2;"salidas RegistradaQ3..Q0 pin 19..16 istype 'reg';"sincronizaciónS=[Q3..Q0];equationsS.Clk=Clk;when !X then S:=(S+1);when X then S:=(S-1);

Page 39: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 40: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador binario de 0 a 1023GAL22V10

MODULE conta

“La señal de reloj en la simulación .c. se sustituye por C

" La salida .x. se sustituye por solo x

C,x = .c.,.x.;

"Entrada de reloj

Clk pin 1;

"Salidas de los Flip Flops

Q9..Q0 pin 23..14 istype 'reg,buffer';

Declarations

Cuenta = [Q9..Q0];

Equations

Cuenta.Clk=Clk;

Cuenta:= (Cuenta + 1);

Test_Vectors

([Clk ] -> Cuenta)

[ C ] -> x ;

[ C ] -> x ;

[ C ] -> x ;

[ C ] -> x ;

………………

End

Page 41: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 42: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 43: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores Decimales

Los contadores decimales o también llamados de décadas o en BCD

son de cuatro bit’s, porque solo cuentan de:

• 0 a 9 ascendente

• 9 a 0 descendente

Page 44: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador decimal (BCD o décadas)

Page 45: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador de 0 a 99

Rck

Rck = Ripple Clock

Page 46: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Ck Q3 Q2 Q1 Q0 Rck

0 0 0 0 0 1

1 0 0 0 1 1

2 0 0 1 0 1

3 0 0 1 1 1

4 0 1 0 0 1

5 0 1 0 1 1

6 0 1 1 0 1

7 0 1 1 1 1

8 1 0 0 0 1

9 1 0 0 1 0

0 0 0 0 0 1

1 0 1

Page 47: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

MODULE deca

"entrada

Clk pin 1;

"Salida combinacional

Rck pin 12 istype 'com';

"Salidas registradas

Q3..Q0 pin 19..16 istype 'reg';

D=[Q3..Q0];equationsD.clk=Clk;

Page 48: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Truth_table(D:>D)0:>1;1:>2;2:>3;3:>4;4:>5;5:>6;6:>7;7:>8;8:>9;9:>0;

Truth_table(D->Rck)0->1;1->1;2->1;3->1;4->1;5->1;6->1;7->1;8->1;9->0;

Page 49: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

1

1

1

1

F

Page 50: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Truth_table(D:>D)^HF:>0;0:>1;1:>2;2:>3;3:>4;4:>5;5:>6;6:>7;7:>8;8:>9;9:>0;

Truth_table(D->Rck)

0->1;1->1;2->1;3->1;4->1;5->1;6->1;7->1;8->1;9->0;

^HF = Hexadecimal F (1111)

Page 51: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Diagrama de transición

Ck Q3 Q2 Q1 Q0 Rck

8 1 0 0 0 1

9 1 0 0 1 0

0 0 0 0 0 1

Page 52: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

MODULE deca

"entrada

Clk pin 1;

"Salida combinacional

Rck pin 12 istype 'com';

"Salidas registradas

Q3..Q0 pin 19..16 istype 'reg';

D=[Q3..Q0];equationsD.clk=Clk;

Page 53: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Asignación de valores a los estados

declarations

E0=[0,0,0,0];

E1=[0,0,0,1];

E2=[0,0,1,0];

E3=[0,0,1,1];

E4=[0,1,0,0];

E5=[0,1,0,1];

E6=[0,1,1,0];

E7=[0,1,1,1];

E8=[1,0,0,0];

E9=[1,0,0,1];

Page 54: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Máquina de Mealy

state_diagram DState E0:goto E1 with Rck=1;state E1:goto E2 with Rck=1;state E2:goto E3 with Rck=1;state E3:goto E4 with Rck=1;state E4:goto E5 with Rck=1;

state_diagram DState E0:goto E1 with Rck=1;state E1:goto E2 with Rck=1;state E2:goto E3 with Rck=1;state E3:goto E4 with Rck=1;state E4:goto E5 with Rck=1;

state E5:goto E6 with Rck=1;state E6:goto E7 with Rck=1;state E7:goto E8 with Rck=1;state E8:goto E9 with Rck=1;state E9:

goto E0 with Rck=0;

state E5:goto E6 with Rck=1;state E6:goto E7 with Rck=1;state E7:goto E8 with Rck=1;state E8:goto E9 with Rck=1;state E9:

goto E0 with Rck=0;

Page 55: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

test_vectors(Clk->D).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;

Page 56: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Truth_table(D->Rck)0->1;1->1;2->1;3->1;4->1;5->1;6->1;7->1;8->1;9->0;

Máquina de Moore

Máquina de Mealy

Page 57: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

test_vectors(Clk->D).c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;.c.->.x.;END

Page 58: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 59: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores EX3, 2421, 5211, 8 4 -2 -1

“EX-3declarationsE0=[0,0,1,1];E1=[0,1,0,0];E2=[0,1,0,1];E3=[0,1,1,0];E4=[0,1,1,1];E5=[1,0,0,0];E6=[1,0,0,1];E7=[1,0,1,0];E8=[1,0,1,1];E9=[1,1,0,0];

“2421declarationsE0=[0,0,0,0];E1=[0,0,0,1];E2=[0,0,1,0];E3=[0,0,1,1];E4=[0,1,0,0];E5=[1,0,1,1];E6=[1,1,0,0];E7=[1,1,0,1];E8=[1,1,1,0];E9=[1,1,1,1];

“5211declarationsE0=[0,0,0,0];E1=[0,0,0,1];E2=[0,0,1,1];E3=[0,1,0,1];E4=[0,1,1,1];E5=[1,0,0,0];E6=[1,0,1,0];E7=[1,1,0,0];E8=[1,1,1,0];E9=[1,1,1,1];

“8 4 -2 -1declarationsE0=[0,0,0,0];E1=[0,1,1,1];E2=[0,1,1,0];E3=[0,1,0,1];E4=[0,1,0,0];E5=[1,0,1,1];E6=[1,0,1,0];E7=[1,0,0,1];E8=[1,0,0,0];E9=[1,1,1,1];

Page 60: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador asendente/descendente

Page 61: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

MODULE adbcd"entradasClk, AD pin 1,2;"salida CombinacionalRck pin 12 istype 'com';"salidas RegistradasQ3..Q0 pin 19..16 istype 'reg';D=[Q3..Q0];equationsD.clk=Clk;

Page 62: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

"asignación de valores a los estadosdeclarationsE0=[0,0,0,0];E1=[0,0,0,1];E2=[0,0,1,0];E3=[0,0,1,1];E4=[0,1,0,0];E5=[0,1,0,1];E6=[0,1,1,0];E7=[0,1,1,1];E8=[1,0,0,0];E9=[1,0,0,1];

Page 63: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Máquina de Mealystate_diagram DState E0:If AD then E1;If !AD Then E9 with Rck=0;state E1:If AD then E2 else E0 with Rck=1;state E2:If AD then E3 else E1 with Rck=1;state E3:If AD then E4 else E2 with Rck=1;state E4:If AD then E5 else E3 with Rck=1;state E5:If AD then E6 else E4 with Rck=1;state E6:If AD then E7 else E5 with Rck=1;state E7:If AD then E8 else E6 with Rck=1;state E8:If AD then E9 else E7 with Rck=1;state E9:If AD then E0 with Rck=0;if !AD Then E8 with Rck=1;

Page 64: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Máquina de Moorestate_diagram DState E0:Rck=1;If AD then E1 else E9;state E1:Rck=1;If AD then E2 else E0;state E2:Rck=1;If AD then E3 else E1;state E3:Rck=1;If AD then E4 else E2;state E4:Rck=1;If AD then E5 else E3;state E5:Rck=1;If AD then E6 else E4;state E6:Rck=1;If AD then E7 else E5;state E7:Rck=1;If AD then E8 else E6;state E8:Rck=1;If AD then E9 else E7 ;state E9:Rck=0;If AD then E0 else E8;

Page 65: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

test_vectors([Clk,AD]->D)[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,1]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;

Page 66: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Señal de resetMODULE deca"entrada Clk,Clr pin 1,2;"Salida combinacionalRck pin 12 istype 'com';"Salidas registradasQ3..Q0 pin 19..16 istype 'reg';D=[Q3..Q0];equationsD.clk=Clk;

D.ar=Clr;

ar = Asynchronous ResetNo lo soporta el GAL16V8

Page 67: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Truth_table(D:>D)0:>1;1:>2;2:>3;3:>4;4:>5;5:>6;6:>7;7:>8;8:>9;9:>0;

Truth_table(D->Rck)0->1;1->1;2->1;3->1;4->1;5->1;6->1;7->1;8->1;9->0;

Page 68: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

test_vectors([Clk,Clr]->D)[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,1]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;[.c.,0]->.x.;

Page 69: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 70: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 71: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador de 0 a 59 ascendente

MODULE cnn

"entrada

Clk pin 1;

“Salida

Rck pin 12 istype ‘com’;

"Salidas registradas

Q6..Q0 pin 19..13 istype 'reg';

D=[Q6..Q4];

U=[Q3..Q0];

equations

D.clk=Clk;

U.Clk=Clk;

Page 72: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

truth_table([D,U]:>[D,U])[7, ^HF]:>[0,0];[0,0]:>[0,1];[0,1]:>[0,2];[0,2]:>[0,3];[0,3]:>[0,4];[0,4]:>[0,5];[0,5]:>[0,6];[0,6]:>[0,7];[0,7]:>[0,8];[0,8]:>[0,9];[0,9]:>[1,0];[1,0]:>[1,1];[1,1]:>[1,2];[1,2]:>[1,3];…………………[5,8]:>[5,9];[5,9]:>[0,0];

[7, ^HF]:>[0,0];

1

1

1

1

1

1

1

F

7

Unidades

Decenas

0

0

0

0

0

0

0

Clk

Page 73: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Truth_table

([D,U]->[Rck])

[5,9]->1;

test_vectors

(Clk->Rck)

.c.->.x.;

.c.->.x.;

.c.->.x.;

Todo lo no listado en Truth_table la salida toma el valor de cero

Page 74: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Transición Negativa

Page 75: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

1

0

0

1

1

0

15

9

0

0

0

0

0

0

0

Page 76: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

truth_table

([D,U]->[Rck])

[0,0]->[1];

[0,1]->[1];

[0,2]->[1];

[0,3]->[1];

[0,4]->[1];

[0,5]->[1];

[0,6]->[1];

-----------------

[5,4]->[1];

[5,5]->[1];

[5,6]->[1];

[5,7]->[1];

[5,8]->[1];

[5,9]->[0];

Transición Positiva

Page 77: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contador de 15 a 0 descendente

MODULE cont

Clk pin 1;

Rck pin 12 istype 'com';

"Salidas registradas

Q4..Q0 pin 19..15 istype 'reg';

D=[Q4];

U=[Q3..Q0];

equations

D.clk=Clk;

U.Clk=Clk;

Page 78: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

TEST_VECTORS([Clk]->[D,U,Rck])[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];[.c.]->[.x.,.x.,.x.];END

truth_table([D,U]:>[D,U])[1,^HF]:>[0,0];[0,0]:>[1,5];[0,1]:>[0,0];[0,2]:>[0,1];[0,3]:>[0,2];[0,4]:>[0,3];[0,5]:>[0,4];[0,6]:>[0,5];[0,7]:>[0,6];[0,8]:>[0,7];[0,9]:>[0,8];[1,0]:>[0,9];[1,1]:>[1,0];[1,2]:>[1,1];[1,3]:>[1,2];[1,4]:>[1,3];[1,5]:>[1,4];

“tabla para Rcktruth_table([D,U]->[Rck])[0,0]->[0];[0,1]->[1];[0,2]->[1];[0,3]->[1];[0,4]->[1];[0,5]->[1];[0,6]->[1];[0,7]->[1];[0,8]->[1];[0,9]->[1];[1,0]->[1];[1,1]->[1];[1,2]->[1];[1,3]->[1];[1,4]->[1];[1,5]->[1];

Page 79: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 80: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Page 81: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Module cont“EntradasCk,X pin 1,2;Q7..Q0 pin 19..12 istype ‘dc,reg’;Sd=[Q7..Q0];EquationsSd.clk=Ck;DeclarationsD=[Q7..Q4];U=[Q3..Q0];Truth_table([X,D,U]:>[D,U])[0,0,0]:>[0,1];[0,0,1]:>[0,2];[0,0,2]:>[0,3];[1,0,2]:>[0,1];………………………….;

[1,1,2]:>[1,1];………………………………;

[0,7,8]:>[0,0];[1,0,0]:>[7,8];[0,^HF,^HF]:>[0,0];[1,^HF,^HF]:>[0,0];

Contador de 0 a 78ascendente/descendente

Page 82: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores que incluyen el decodificador

f

e

g

a

d

b

c

dp

Q0

RckClk

Q1 Q2 Q3 Q4 Q5 Q6

Page 83: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Contadores que incluyen el decodificador (BCD)

Q0 Q1 Q2 Q3 Q4 Q5 Q6 Q7

a b c d e f g Rck

E0 1 1 1 1 1 1 0 1

E1 0 1 1 0 0 0 0 1

E2 1 1 0 1 1 0 1 1

E3 1 1 1 1 0 0 1 1

E4 0 1 1 0 0 1 1 1

E5 1 0 1 1 0 1 1 1

E6 X 0 1 1 1 1 1 1

E7 1 1 1 0 0 0 0 1

E8 1 1 1 1 1 1 1 1

E9 1 1 1 X 0 1 1 0

f

e

g

a

d

b

c

dp

Q 0

RckClk

Q 1 Q 2 Q 3 Q 4 Q 5 Q 6

GAL16V8

Page 84: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Q0 Q1 Q2 Q3 Q4 Q5 Q6 Q7

a b c d e f g Rck

E0 1 1 1 1 1 1 0 1

E1 0 1 1 0 0 0 0 1

E2 1 1 0 1 1 0 1 1

E3 1 1 1 1 0 0 1 1

E4 0 1 1 0 0 1 1 1

E5 1 0 1 1 0 1 1 1

E6 1 0 1 1 1 1 1 1

E7 1 1 1 0 0 0 0 1

E8 1 1 1 1 1 1 1 1

E9 1 1 1 X 0 1 1 1

E10 1 1 1 0 0 0 0 1

E11 1 1 1 1 1 1 1 1

E12 1 1 1 0 1 1 1 1

E13 0 0 1 1 1 1 1 1

E14 1 0 0 1 1 1 0 1

E15 1 0 0 0 1 1 1 0

Contadores que incluyen el

decodificador(Hexadecimal)

Page 85: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Lunes Martes Miércoles Jueves Viernes

21 22 23PF M1

24PFM2,M3

25

28 29 30

M131 PF M4 1

M3M24

M45 6 7 8

Todos los exámenes son a las 7:00 AM en la sala de InformáticaSolo en los exámenes extraordinarios se solicitara la implementación

física del problema propuesto, es indispensable traer su material

Entrega de Proyecto Final y Examen Final

Page 86: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Programa

Medio Termino I.- Introducción a los Sistemas Digitales II.- Sistemas Numéricos III.- Álgebra Booleana IV.- Minimización de funciones Booleanas.

Examen Final

V.- Diseño Combinacional. VI.- Flip-Flops.

VII.- Diseño Secuencial.

Page 87: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Instrucciones: Lea cuidadosamente la descripción de cada problema escriba claramente en el espacio indicado:

1.-Para el diseño combinacional obtenga

a).-El diagrama de bloques indicando las entradas y salidas. ( 5 puntos)

b).- La tabla de verdad. ( 20 puntos)

Una vez comprobado el funcionamiento imprima y anexe al instructivo

c).- El Archivo en formato ABEL ABL ( 10 puntos)

d).- La simulación que deberá de contener las pruebas necesarias para

comprobar que cumple con lo solicitado. ( 10 puntos)

Page 88: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

a) El diagrama de bloques indicando las

entradas y salidas. ( 5 puntos)

Page 89: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

b).- La tabla de verdad. ( 20 puntos)

m A B A=B A>B A<B

0 0 0 1 0 0

1 0 1 0 0 1

2 1 0 0 1 0

3 1 1 1 0 0

Page 90: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

d).- El Archivo en formato ABEL ABL (10 puntos)

Page 91: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

e).- La simulación que deberá de contener las pruebas necesarias para comprobar su funcionamiento. WAV ( 10 puntos)

Page 92: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Diseño Secuencial

a). - El Diagrama de bloques indicando las entradas y salidas

( 5 puntos)

b).- Diagrama de Transición ( 15 puntos)

c). - Obtenga la tabla de Estados ( 10 puntos)

Una vez comprobado el funcionamiento imprima y anexe al instructivo

d).- El archivo en formato ABEL ( 15 puntos)

e).- La simulación que deberá de contener las pruebas necesarias para comprobar

su funcionamiento (10 puntos)

Page 93: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Para la solución de los problemas es permitido

usar los dispositivos GAL16V8, GAL22V10 o

GAL26V12.

En la computadora sólo está permitido usar el

programa Isp Starter y Word para mostrar

los resultados.

Sólo una sola impresión está permitida por Sólo una sola impresión está permitida por

cada problema.cada problema.

Page 94: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

2.- Para el diseño secuencial obtengaa). - El Diagrama de bloques indicando las entradas y salidas

(5 puntos)

Page 95: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

b).- Diagrama de

Transición ( 10 puntos)

Page 96: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

c). – Obtenga la tabla de

Estados ( 10 puntos)

0 1

E0 E1 E2

E1 E3 E3

E2 E6 E7

E3 E4 E4

E4 E5 E5

E5 E1 E2

E6 E4 E8

E7 E8 E8

E8 E9 E9

E9 E1 E2

Page 97: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Una vez comprobado el funcionamiento imprima y anexe al instructivo

e).- El archivo en formato ABEL ABL ( 15 puntos)

f).- La simulación que deberá de contener las pruebas necesarias para comprobar su funcionamiento WAV

( 10 puntos)

Page 98: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Para la solución de los problemas es permitido usar los dispositivos GAL16V8, GAL22V10 o GAL26V12.,

En la computadora sólo está permitido usar el programa Isp Starter.Sólo una sola impresión está permitida por cada problema.Sólo una sola impresión está permitida por cada problema.

Page 99: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Reglas obligatorias para presentar el examen

1.-Solo esta permitido el uso de lápiz o pluma para resolver el examen.

(Deja tus libros afuera del aula)

2.-No se permite el uso de disquetes, o memorias USB ni el uso de

INTERNET.

3.- En la computadora solo esta permitido usar el programa Isp Starter y

Word.

4.- En los archivos en formato ABEL-HDL tanto en el combinacional como

en el secuencial incluir líneas de comentarios que contengan:

“Fecha.

“Nombre y numero de matricula.

“Nombre de la Materia y hora en que se esta cursando

Page 100: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Reglas obligatorias para presentar el examen

5.-Para la solución de los problemas es permitido usar los dispositivos:

GAL16V8, GAL20V8, GAL22V10 o GAL26V12

6.- Antes de imprimir guarde los archivos

7.- Solo esta permitido una sola impresión por cada problema.

8.- Si tienes una pregunta o duda por favor levanta la mano.

9.- El examen es individual, no se permite preguntar al compañero ni ver

su monitor SE CONSIDERA COPIA, no te arriesgues.

Page 101: se6mayo2012a

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Noviembre 2011Sistemas DigitalesElectrónica Digital I

Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica

Calificación

Concepto Puntos

Examen de medio término 25

Examen Final 25

Tareas 15

Proyecto Final 35

Proyectos adicionales 15