En esta sesión nos vamos a dedicarnos a la cobertura funcional y a mejorar nuestro plan de verificación con el fin de conseguir una grado de cobertura especificado. Para ello el esquema que vamos a seguir es el siguiente: Determinación de la cobertura funcional con el componente coverage Generación de nuevas secuencias y valoración del grado de cobertura obtenido Control…

En esta sesión nos vamos a centrar en la creación del test de la siguiente figura (RECUADRO EN AMARILLO) y su posterior refinamiento, tanto de la generación de estímulos como en la observación de los resultados. El esquema que vamos a seguir es el siguiente: Creación del test Como puede observarse por los pasos a seguir es una metodología “bottom-up”.…

Instrucciones iniciales Diseño a verificar Vamos a verificar un divisor algorítmico. El código ASM es el que se adjunta en la siguiente figura Os adjunto información de cómo deberían denominarse los puertos y de entrada y salida. Es muy importante respetar este tipo de nombres sobre todo si se quiere reusar un banco de pruebas previo. TerosHDL Entity: Divisor_Alg2 File:…