Practicas tuteladas VHDL (curso 04-05)

Transcripción

1 Practicas tuteladas VHDL (curso 4-5)

2 Tecnología de computadores. Prácticas de VHDL (Curso 3/4) PRÁCTICA-2: ATRIBUTOS DE SEÑALES ELEMENTOS DE MEMORIA Y REGISTROS OBJETIVOS: Utilizar el paquete de datos estándar IEEE STD_LOGIC_64 Definir elementos básicos de almacenamiento Utilizar los atributos de señales para activar el sincronismo de los elementos de almacenamiento. Construir registros Modelar salidas triestado MUY IMPORTANTE: Las partes (I, II, III y IV) que se detallan a continuación, deberán ser terminadas obligatoriamente por los alumnos, aún en el caso de no poder terminarse en la clase de prácticas. Antes de concluir la clase de prácticas en el laboratorio, no olvide almacenar sus diseños en un disquete, ya que se podrá hacer uso de ellos en prácticas posteriores. El directorio del disco duro con el que Vd. va a trabajar se borrará después de cada clase de prácticas. DESARROLLO:.- Una vez arrancada la herramienta, ha de crearse un espacio de trabajo con el nombre de PRACTICA2. No se olvide que antes de compilar y simular hay que establecer las condiciones en las que éstas se van a realizar (Workspace-Settings)!! Parte I : Realización de un reloj.- Escribir una entidad denominada reloj (reloj_st_ent.vhd), que contenga en su definición el periodo del mismo como un genérico (GENERIC), y cuyo valor inicial sea de ns. El tipo de datos a utilizar será STD_LOGIC_64. CLOCK Figura.. Esquema de bloques de un reloj LIBRARY IEEE; USE ieee.std_logic_64.all; 2

3 ENTITY reloj IS GENERIC (ciclo: TIME:= ns); PORT (clock: OUT STD_LOGIC); END reloj; 2.- Escribir una arquitectura en estilo de descripción algorítmico o de comportamiento, que se denominará simetrica (reloj_st_arq.vhd). ARCHITECTURE simetrica OF reloj IS SIGNAL intermedia: STD_LOGIC := ''; intermedia <= NOT intermedia AFTER ciclo/2; clock <=intermedia; END simetrica; 3.- Establecer las condiciones de simulación (Figura-), y simular el reloj durante ns. Observar si la salida genera la forma de onda programada (Figura-2). Guardar los resultados de simulación de las ondas en forma de tabla (Tabular) (Tabla-). Parte II: Elementos de almacenamiento y atributos de señales - Biestable tipo D, activado por flanco de bajada, y clear síncrono en estilo comportamiento. 4.- Escribir una entidad para un biestable tipo D, que llevará el nombre de biestable_d_clr (biestabled_clr_ent.vhd), que además de las señales de entrada (d), reloj (clock) y salida (q), contenga una señal de puesta a cero, clear. Defínase el tiempo de retardo entre la entrada y la salida como un parámetro genérico, que tomará el valor inicial de ns (retardo: time:= ns). El tipo de datos de todas las señales será STD_LOGIC_64. CLEAR d q Figura.2. Esquema de bloques de un biestable D activo con el flanco de bajada del reloj CLOCK LIBRARY IEEE; USE ieee.std_logic_64.all; ENTITY biestable_d_clr IS GENERIC (retardo:time:= NS); PORT (d, clock,clear: IN STD_LOGIC; q: OUT STD_LOGIC := ''); END biestable_d_clr; 3

4 5.- Escribir una arquitectura en estilo algorítmico o de comportamiento, que active el biestable con el flanco de bajada del reloj. La señal de puesta a cero será activa por nivel alto y actuará de forma síncrona con el flanco del reloj. La arquitectura tendrá el nombre de Bdco_ba_CLsin, (Bdco_Fba_CLsin.vhd). ARCHITECTURE Bdco_ba_CLsin OF biestable_d_clr IS Esta arquitectura implementa un biestable activado por flanco de bajada y clear sincrono Utiliza las funciones de detección de flancos del paquete STD_LOGIC_64 PROCESS WAIT UNTIL (falling_edge (clock)); IF (clear='') THEN q<= '' AFTER retardo; ELSE q<=d AFTER retardo; END IF; END PROCESS; END Bdco_ba_CLsin; - Biestable tipo D, activado por flanco de subida, y clear asíncrono en estilo comportamiento. A continuación se indica la arquitectura en estilo de comportamiento, para la entidad del biestable descrita anteriormente, pero activado por flanco de subida de reloj, y clear asíncrono. En este caso, la detección del flanco se ha realizado utilizando los atributos de las señales (clock = '' AND clock'event)para ver otra forma de modelización. Este fichero puede editarse, compilarse y simularse siguiendo las mismas pautas que para el modelo anterior. ARCHITECTURE BDco_Fsu_CLasin OF biestable_d_clr IS PROCESS (clock, clear) IF (clear = '') THEN q <= '' AFTER retardo; ELSIF (clock = '' AND clock'event) THEN q <= d AFTER retardo; END IF; END PROCESS; END BDco_Fsu_CLasin; 6.- Escribir una entidad, biestabletest_clr (biestabletest_clr_ent.vhd) y una arquitectura biestable_test_general (biestabletest_clr_arq.vhd) para testear el biestable descrito anteriormente. La arquitectura deberá instanciar el reloj diseñado en los apartados anteriores. La señal de entrada tomará los siguientes valores: d <= Valor Tiempo (ns) La señal de clear estará definida por el siguiente driver: 4

5 Clear <= Valor Tiempo (ns) LIBRARY IEEE; USE ieee.std_logic_64.all; ENTITY biestabletest_clr IS END biestabletest_clr; ARCHITECTURE biestable_test_general OF biestabletest_clr IS Declaración de Componentes COMPONENT biestable_d_clr PORT (d, clock, clear: IN STD_LOGIC; q: OUT STD_LOGIC); END COMPONENT; COMPONENT reloj PORT (clock: OUT STD_LOGIC); END COMPONENT; Declaración de Señales SIGNAL d, clock, clear,q: STD_LOGIC; Cuerpo de la arquitectura U: reloj PORT MAP (clock); U: biestable_d_clr PORT MAP (d, clock, clear,q); d<='', ''AFTER 2 NS, ''AFTER 6 NS, ''AFTER 26 NS, ''AFTER 36 NS, ''AFTER 46 NS, ''AFTER 56 NS, ''AFTER 66 NS; clear<= '', ''AFTER 5 NS, ''AFTER 6 NS, '' AFTER 5 NS, '' AFTER 8 NS; END biestable_test_general; 7.- Realizar una unidad de configuración que se denominará bies_clr_ba (conf_d_clear_ba.vhd), asociando a la entidad para test (biestabletest_clr), la arquitectura que acabamos de describir (biestable_test_general), así como las entidades del reloj y del biestable con sus correspondientes arquitecturas. CONFIGURATION bies_clr_ba OF biestabletest_clr IS FOR biestable_test_general FOR U: reloj USE ENTITY WORK.reloj(simetrica); END FOR; FOR U: biestable_d_clr USE ENTITY WORK.biestable_D_CLR(Bdco_ba_CLsin); END FOR; END FOR; END bies_clr_ba; 5

6 8.- A continuación se realizará la simulación durante ns (Figura-3). Se interpretarán los resultados de las formas de onda (Figura-4), que se almacenaran en forma de tabla con el nombre biestable_bajada.txt, observando sobre este fichero los ciclos de simulación. - Biestable tipo D, activado por flanco de subida, clear síncrono en estilo flujo de datos 9.- Escribir una arquitectura en estilo flujo de datos, en la que el biestable se active con el flanco de subida del reloj. (Bflu_Fsu_CLsin). La nueva arquitectura se almacenará en un fichero de nombre (Bflu_Fsu_CLsin.vhd). La señal de clear actuará también a nivel alto y de forma síncrona con el flanco de subida del reloj. Se utilizará la sentencia BLOCK con condición de guarda o vigilancia y asignación concurrente de señal. ARCHITECTURE Bd_Fsu_CLsin OF biestable_d_clr IS ff:block ((clock ='' AND NOT clock'stable)) q <= GUARDED d AFTER retardo WHEN clear = '' ELSE '' AFTER retardo; end BLOCK ff; END Bd_Fsu_CLsin; - Biestable tipo D, activado por flanco de bajada, clear asíncrono en estilo flujo de datos. A continuación se describe una arquitectura en estilo flujo de datos, activado por flanco de bajada de reloj, y clear asíncrono. En este caso, se ha utilizado únicamente la sentencia de asignación concurrente de señal y los atributos de señales. Este fichero, puede editarse, compilarse y simularse siguiendo las mismas pautas que en los modelos de los casos anteriores. ARCHITECTURE Bd_Fba_CLAsin OF biestable_d_clr IS q <= '' AFTER retardo WHEN clear = '' ELSE d AFTER retardo WHEN (clock ='' AND NOT clock'stable); END Bd_FBA_CLAsin;.- Escribir la correspondiente unidad de configuración, para asociar la arquitectura en estilo flujo de datos y flanco de subida con su entidad, así como la entidad y arquitectura para test. Llevará el nombre biest_d_clear_su y será almacenada en el fichero conf_d_clear_su.vhd. CONFIGURATION bies_d_clr_su OF biestabletest_clr IS FOR biestable_test_general FOR U: reloj USE ENTITY WORK.reloj(simetrica); END FOR; FOR U: biestable_d_clr USE ENTIT WORK.biestable_D_CLR(Bd_Fsu_Clsin); END FOR; END FOR; END bies_d_clr_su;.- Realizar la simulación, estudiar los resultados y compararlos con los obtenidos con la arquitectura activada por flanco de bajada (Figuras 5, 6, 7). Parte III: Construcción de Registros 6

7 2.- Escribir la entidad registro_pp (registro_pp_ent.vhd) para un registro de entrada y salida de datos en paralelo. El número de bits de la entrada y salida de datos será un parámetro genérico, que por defecto tomará el valor 4 (num_bits:natural := 4). Los datos de entrada (d, d, d2, d3,..., dn) y de salida (q, q, q 2, q3,..., qn) del registro, se definirán como un vector de bits en orden ascendente, BIT_VECTOR ( TO num_bits -).El tipo de datos para todas las señales de entrada y de salida será del tipo STD_LOGIC_64. LIBRARY IEEE; USE ieee.std_logic_64.all; ENTITY registro_pp IS GENERIC (num_bits:natural:=4); PORT (ent_datos: IN STD_LOGIC_VECTOR( TO num_bits -); clock, clear: IN STD_LOGIC; sal_datos: OUT STD_LOGIC_VECTOR ( TO num_bits -)); END registro_pp; CLEAR d d d2 d3 d q d q d q d q CLOCK q q q2 q3 Figura.3. Esquema de bloques de un registro con entrada y salida de datos en paralelo 3.- Escribir una arquitectura en estilo de descripción estructural denominada regpp_es (regpp_es_arq.vhd), en la que se use el biestable activado por flanco de bajada y clear sincrono, (Bdco_ba_CLsin) diseñado anteriormente. La construcción del registro se realizará instanciando explícitamente cuatro biestables, uno para cada bit del registro. ARCHITECTURE regpp_es OF registro_pp IS COMPONENT biestable_d_clr IS GENERIC (retardo:time:= NS); PORT (d, clock,clear: IN STD_LOGIC; q: OUT STD_LOGIC := ''); END COMPONENT; For all: biestable_d_clr USE ENTITY WORK.biestable_D_CLR(BDco_ba_CLsin); U: biestable_d_clr PORT MAP(ent_datos(),clock,clear,sal_datos()); U: biestable_d_clr PORT MAP(ent_datos(),clock,clear,sal_datos()); U2: biestable_d_clr PORT MAP(ent_datos(2),clock,clear,sal_datos(2)); U3: biestable_d_clr PORT MAP(ent_datos(3),clock,clear,sal_datos(3)); END regpp_es; 4.- Escribir una entidad de test para el registro de desplazamiento de nombre regpptest, que se almacenará con el nombre de regpptest_ent.vhd. LIBRARY IEEE; USE ieee.std_logic_64.all; ENTITY regpptest IS END regpptest 7

8 5.- Escribir una arquitectura asociada a la entidad anterior de nombre S_test_regPP, que almacenaremos con el nombre de fichero G_regPPtest_arq.vhd. Los datos de entrada y la señal de clear tomarán los siguientes valores: ent_datos <= Clear <= Valor Tiempo (ns) Valor Tiempo (ns) ARCHITECTURE S_test_regPP OF regpptest IS COMPONENT registro_pp GENERIC (num_bits:natural:=4); PORT (ent_datos: IN STD_LOGIC_VECTOR( TO num_bits - ); clock, clear: IN STD_LOGIC; sal_datos: OUT STD_LOGIC_VECTOR ( TO num_bits - )); END COMPONENT; COMPONENT reloj PORT (clock: OUT STD_LOGIC); END COMPONENT; SIGNAL ent_datos:std_logic_vector( TO 3); SIGNAL clock, clear: STD_LOGIC; SIGNAL sal_datos: STD_LOGIC_VECTOR( TO 3); U: reloj PORT MAP (clock); U: registro_pp PORT MAP (ent_datos, clock, clear,sal_datos); ent_datos <= ('','','','') AFTER NS, ('','','','') AFTER 2 NS, ('','','','') AFTER 6 NS, ('','','','') AFTER 26 NS, ('','','','') AFTER 36 NS, ('','','','') AFTER 46 NS, ('','','','') AFTER 56 NS, ('','','','') AFTER 66 NS, ('','','','') AFTER 87 NS; clear<= '' AFTER 5 NS, '' AFTER 6 NS, '' AFTER 5 NS, '' AFTER 8 NS; END S_test_regPP; 6.- Escribir la correspondiente unidad de configuración para testear el registro, que llevará el nombre reg_pp_s, y se almacenará en un fichero de nombre conf_regpp_clsin.vhd CONFIGURATION reg_pp_s OF regpptest IS FOR S_test_regPP FOR U: reloj USE ENTITY WORK.reloj(simetrica); END FOR; FOR U: registro_pp USE ENTITY WORK.registro_pp(regPP_es); END FOR; END FOR; END reg_pp_s; 8

9 7.- Simular el circuito y estudiar los resultados (Figuras 8, 9,). 8.- Modificar la arquitectura regpp_es (regpp_es_arq.vhd) para que la construcción del registro se realice mediante la sentencia GENERATE. La nueva arquitectura se denominará regpp_es_gene (regpp_esg_arq.vhd) ARCHITECTURE regpp_es_gene OF registro_pp IS COMPONENT biestable_d_clr IS GENERIC (retardo:time:= NS); PORT (d, clock,clear: IN STD_LOGIC; q: OUT STD_LOGIC := ''); END COMPONENT; G: FOR i IN TO num_bits - GENERATE B: biestable_d_clr PORT MAP (ent_datos(i), clock,clear,sal_datos(i)); END GENERATE; END regpp_es_gene; 9.-Escribir el correspondiente fichero de configuración, que llevará por nombre conf_registropp_g.vhd. La escritura del código se deja como ejercicio a los alumnos. A continuación se procederá a realizar la simulación, y se contrastarán los resultados con los del apartado anterior, que deberán ser idénticos (Figura. ). Parte IV: Salidas triestado 2.- El fragmento de código que se presenta a continuación, contiene la entidad triestado, y una arquitectura asociada a ella denominada comportamiento, la cual modela una salida triestado mediante la utilización de la sentencia LOOP, asignando el valor Z a cada una de las componentes de la salida. En este caso, la entidad y la arquitectura se encuentran en el mismo fichero (tries_separa.vhd). LIBRARY IEEE; USE IEEE.STD_LOGIC_64.ALL; m longitud de la entrada y la salida; ENTITY triestado IS GENERIC (m : IN INTEGER); PORT (tri_control: IN STD_LOGIC; data_in: IN STD_LOGIC_VECTOR ((m - ) DOWNTO ); data_out: OUT STD_LOGIC_VECTOR ((m - ) DOWNTO )); END triestado; 9

10 ARCHITECTURE comportamiento OF triestado IS PROCESS (tri_control, data_in) IF (tri_control = '') THEN data_out <= data_in; ELSE FOR i IN TO (m - ) LOOP data_out (i) <= 'Z'; END LOOP; END IF; END PROCESS; END comportamiento; 2.- Testear la arquitectura anterior con el siguiente fichero, que ha sido denominado tries_test.vhd. Debe prestarse especial atención a la forma en que se han escrito los valores de los vectores de los datos de entrada, así como a dichos valores, en contraste con el test realizado en el apartado 5. Se recomienda que cuando se visualice la simulación, se vean las componentes individuales del vector de entrada (Figura ). LIBRARY IEEE; USE IEEE.STD_LOGIC_64.ALL; ENTITY testtriestado IS END testtriestado; - ARCHITECTURE triestado_test OF testtriestado IS COMPONENT triestado GENERIC (m : IN INTEGER := 4); PORT (tri_control: IN STD_LOGIC; data_in: IN STD_LOGIC_VECTOR ((m - ) DOWNTO ); data_out: OUT STD_LOGIC_VECTOR ((m - ) DOWNTO )); END COMPONENT; SIGNAL tri_control: STD_LOGIC := ''; SIGNAL data_in, data_out : STD_LOGIC_VECTOR (3 DOWNTO ) := ""; U: triestado PORT MAP (tri_control, data_in, data_out); tri_control <= '', '' AFTER NS, '' AFTER 2 NS, '' AFTER 3 NS, '' AFTER 4 NS; data_in <= "", "" AFTER 25 NS, "LHX" AFTER 35 NS, "LW" AFTER 5 NS; END triestado_test; 22.- El fragmento de código que se muestra a continuación representa una arquitectura de la misma funcionalidad que la indicada anteriormente, pero realizada utilizando únicamente una sentencia de asignación condicional de señal y la clausula OTHERS, se deja como ejercicio testear esta arquitectura. ARCHITECTURE simple OF triestado IS data_out <= (OTHERS => 'Z') WHEN tri_control = '' ELSE data_in; END simple; NOTA: No es necesario entregar memoria de esta práctica

11 CUESTIONARIO PARA AUTOEVALUACION DEL ALUMNO Se puede entregar opcionalmente este cuestionario como ejercicio de clase (consulte con su profesor) ) Por qué no es necesario escribir un programa de test para comprobar el funcionamiento del reloj? 2) Qué parte del código realizado para el reloj modificaría para conseguir que la duración de su periodo fuese 2 seg.? 3) Cómo especificaría el flanco de bajada de una señal utilizado las facilidades del paquete STD_LOGIC_64? 4) Simular la arquitectura del biestable_d activado por flanco de subida y asíncrono en estilo de comportamiento inicializando el parámetro retardo a 2 nseg. Modificar los ficheros que se consideren necesarios, realizar la simulación y a analizar los resultados. 5) Escribir una entidad y una arquitectura para diseñar un registro de entrada y salida de datos serie de 4 bits, así como las unidades de diseño necesarias para testear y configurar este componente. 6) Describir una entidad y una arquitectura de un registro de desplazamiento hacia la derecha, y tenga salida triestado. Las especificaciones adicionales que se necesiten serán decididas por el alumno.

12 Figura-. Establecimiento de las condiciones de simulación para el reloj. Figura-2. Formas de onda resultantes de la simulación del reloj. 2

13 VeriBest VHDL Version Dump signal values from ns to ns ns Delta CLOCK INTERMEDIA U Tabla- Resultados de la simulación del reloj. 3

14 Figura-3. Establecimiento de las condiciones de simulación para el biestable D activado por flanco de bajada y clear síncrono. Arquitectura en estilo comportamiento. Figura-4. Formas de onda resultantes de la simulación del biestable D activado por flanco de bajada y clear síncrono. Arquitectura en estilo comportamiento. 4

15 Figura-5. Establecimiento de las condiciones de simulación para el biestable D activado por flanco de subida y clear síncrono. Arquitectura Flujo de datos. Figura-6. Selección de las señales a visualizar durante la simulación del biestable D activado por flanco de subida y clear síncrono. Obsérvese la indicación expresa de del bloque FF de la arquitectura. 5

16 Figura-7. Resultados de la simulación de la biestable D activado por flanco de subida y clear síncrono. Arquitectura Flujo de datos. Figura-8. Establecimiento de las condiciones de simulación para el registro paralelo/paralelo utilizando biestables tipo D activados por flanco de subida y clear síncrono. 6

17 Figura-9. Selección de las señales a visualizar durante la simulación del registro paralelo/paralelo utilizando biestables tipo D activados por flanco de bajada y clear síncrono. Observe las instancias de los biestables y sus correspondientes arquitecturas asociadas. Figura-. Resultados de la simulación del registro paralelo/paralelo utilizando biestables tipo D activados por flanco de bajada y clear síncrono. Observe que las componentes del vector SAL_DATOS han sido visualizadas independientemente, mientras que el vector ENT_DATOS ha sido visualizado de forma global, mediante su valor en decimal. 7

18 Figura-. Selección de las señales a visualizar durante la simulación del registro paralelo/paralelo utilizando biestables tipo D activados por flanco de bajada y clear síncrono utilizando la sentencia GENERATE. Observe las instancias de los biestables y sus correspondientes arquitecturas asociadas. Figura-2. Visualización durante la simulación de la simulación de la salida triestado. Observe los valores de los datos de entrada y los de salida. 8