Desarrollo de un Ambiente de Verificación para una Unidad Lógica Aritmética mediante la Metodología Universal de Verificación.

Abstract

Se desarrolla el presente proyecto en el Instituto tecnológico de Costa Rica con el objetivo de colocar en el mercado un producto que proporcione un mejor control a los dispositivos médicos implantables activos (AIMD por sus siglas en ingles), con los profesores a cargo Roberto Molina y Alfonso Chacón del Departamento de Electrónica. Iniciando la realización del proyecto, ya habiendo superado las etapas de investigación y costos de presupuesto, los encargados se decidieron en colocar dicho proyecto, en la tabla de posibles proyectos de graduación para la obtención del título de Licenciatura en Ingeniera de Electrónica. Ya con los estudiantes necesarios para dar inicio del proyecto, se explican los conceptos generales del proyecto y lo que se desea terminar en estas primeras 16 semanas, de parte de los estudiantes. Siendo el objetivo primordial la terminación de una arquitectura RISC-V, y esta que cumpla exhaustivas pruebas de funcionalidad, para corroborar el buen funcionamiento de todas las partes que la componen. Para ello los profesores dividen al grupo de estudiantes en tres partes de suma importancia cada una de ellas: Diseñadores, Verificadores de Funcionalidad y Diseñadores de Pruebas Físicas. Donde cada diseñador tendrá un bloque de trabajo y un verificador que corrobore que las especificaciones de diseño se cumplan. Cuya función asignada a mi persona es la verificación funcional del bloque denominado ALU por sus siglas en inglés o Unidad Lógica Aritmética, encargada de realizar distintas funcionalidades aritméticas, lógicas y comparativas.