Desarrollo de un servidor para la verificación automatizada de prácticas de diseño de sistemas digitales especificados mediante lenguajes de descripción hardware

Abstract

Actualmente, las prácticas de laboratorio de diseño de sistemas digitales de las asignaturas de Tecnología de Computadores y de Tecnología y Organización de Computadores (que cuentan con más de 300 alumnos), se basan en la entrega y explicación de una descripción funcional de la práctica que deben implementar antes de llegar a la sesión de laboratorio y que durante la misma deberán ampliar. El problema principal es que en muchas ocasiones los alumnos no han entendido bien el funcionamiento de la práctica y, o bien crean un fichero de pruebas que no cumple con la especificación solicitada o bien, modifican su diseño para cumplir con el fichero de pruebas entregado por el profesor, pero siguen sin cumplir la funcionalidad descrita en la práctica. Como resultado, el alumno llega a la sesión de laboratorio con una versión de la parte de casa que no es válida y que debe modificar en ese momento antes de ponerse con la ampliación del laboratorio, por lo que terminan sin hacerla por falta de tiempo. El objetivo global de este Proyecto Innova-Docencia es el desarrollo de un servidor para la verificación automatizada de prácticas de diseño de sistemas digitales especificados mediante lenguajes de descripción hardware. La idea es que los alumnos envíen a dicho servidor los ficheros de práctica del módulo que quieren verificar y éste le responda con los resultados. Con este método, los alumnos no tienen conocimiento de la implementación del fichero de pruebas y se separan claramente especificación, implementación y verificación.