RT Generic
T1 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
A1 González Calvo, Carlos
A1 Bascones García, Daniel
A1 Morcillo Salgado, Borja
A1 Macías Sánchez, Leonardo
A1 Diego Barrado, Juan
A1 Rodríguez Caballero, Natalia
A1 de Mora Losada, Rubén
A1 Amado Lázaro, Javier
A1 Calvarro Marines, Mario
A1 González Arbelo, Daniel
AB 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.
YR 2024
FD 2024-09-30
LK https://hdl.handle.net/20.500.14352/108564
UL https://hdl.handle.net/20.500.14352/108564
LA spa
DS Docta Complutense
RD 9 abr 2025