Realidad Aumentada en el Museo de Informática García Santesmases (MIGS++)

El principal objetivo del presente proyecto ha sido el desarrollo de una aplicación móvil de exploración aumentada para el Museo de Informática García Santesmases. Esta aplicación servirá para la inclusión de contenidos audiovisuales (imágenes, vídeo, texto) sobre las piezas existentes en el propio museo, aumentando la información que actualmente se puede observar en el museo

Desarrollo de un entrenador digital portátil de bajo coste para introducir a los estudiantes en el mundo y conocimiento de la electrónica digital, que facilite e incentive el aprendizaje autónomo del alumno

Actualmente, las prácticas de laboratorio de diseño digital de la asignatura de Fundamentos de Computadores (que cuenta con más de 500 estudiantes), se realizan sobre entrenadores digitales fijos de alto coste. Esto conlleva a que los estudiantes únicamente pueden desarrollar sus prácticas en dichos laboratorios, la mayor parte del tiempo ocupados por otros grupos o prácticas de otras asignaturas. El objetivo global de este Proyecto Innova-Docencia sería el desarrollo de un entrenador digital portátil, de bajo coste, que se entregase individualmente a los estudiantes para que realicen sus diseños digitales en lugar de en los entrenadores del laboratorio. De esta manera se pone el foco en el estudiante, facilitando e incentivando el aprendizaje autónomo del alumno

RISC-V trainer

Se ha desarrollado una placa basada en RISC-V, en concreto en el ESP32-C3 de Espressif, dotada con periféricos diversos para las asignaturas relacionadas con la Estructura de Computadores en la Facultad de Informática.Depto. de Arquitectura de Computadores y AutomáticaFac. de InformáticaFALSEsubmitte

Síntesis formal de alto nivel por derivación automática : aspectos teóricos, metodológicos y prácticos

El objetivo de esta investigación es, por un lado, desarrollar las bases teóricas de un cálculo formal para la derivación de circuitos correctos; por otro lado, proponer una metodología para su uso en entornos automáticos de diseño microelectrónico y, finalmente, realizar un estudio con soporte empírico de su aplicabilidad real. Para ello, se propone un lenguaje de especificación de conductas formal, de amplio espectro y fácilmente manipulable; se presenta un cálculo por derivación para la transformación simbólica de las especificaciones; se demuestra la corrección de este cálculo y se propone un algoritmo capaz de reproducir automáticamente dentro del cálculo definido, cualquier proceso de síntesis de alto nivel realizado por un algoritmo de optimización externo, permitiendo decidir de este modo, la corrección del circuito generado o la incorrección de las decisiones adoptadas por el algoritmo de optimizació

Heterogeneous Memory Organizations in Embedded Systems. Placement of Dynamic Data Objects

This book defines and explores the problem of placing the instances of dynamic data types on the components of the heterogeneous memory organization of an embedded system, with the final goal of reducing energy consumption and improving performance. It is one of the first to cover the problem of placement for dynamic data objects on embedded systems with heterogeneous memory architectures, presenting a complete methodology that can be easily adapted to real cases and work flows. The authors discuss how to improve system performance and energy consumption simultaneously. Discusses the problem of placement for dynamic data objects on embedded systems with heterogeneous memory architectures; Presents a complete methodology that can be adapted easily to real cases and work flows; Offers hints on how to improve system performance and energy consumption simultaneously

Diseño y desarrollo de una placa de periféricos no convencionales para incentivar el aprendizaje autónomo sobre sistemas empotrados basados en FPGA y SoC ARM

Se plantea la adaptación y ampliación de la placa de periféricos desarrollada el curso anterior para su uso en otras asignaturas impartidas en nuestra Facultad, como son "Sistemas Empotrados Distribuidos" y "Programación de Sistemas y Dispositivos". En estas nuevas asignaturas se adopta el uso de microcontroladores basados en arquitectura ARM, por lo que se hace necesaria una adaptación de los controladores para poder emplear los periféricos que incorpora la placa. Asimismo, se ha planeado la ampliación de la placa de expansión para que incorpore, de manera integrada, los sensores analógicos y el motor paso a paso, así como nuevos dispositivos (detector de proximidad por ultrasonidos, por ejemplo) y otros controlados mediante el bus I2C, actualmente muy utilizado en la industria. Esta placa expandida permitirá generar un entorno adecuado para la programación de los distintos dispositivos de entrada/salida que pueden formar parte de un sistema empotrado, como los sensores y actuadores antes mencionados que, al ser dispositivos no convencionales, atraerán de manera especial la curiosidad del alumno

Improving Circuit Performance with Multispeculative Additive Trees in High-Level Synthesis

The recent introduction of Variable Latency Functional Units (VLFUs) has broadened the design space of HighLevel Synthesis (HLS). Nevertheless their use is restricted to only few operators in the datapaths because the number of cases to control grows exponentially. In this work an instance of VLFUs is described, and based on its structure, the average latency of tree structures is improved. Multispeculative Functional Units (MSFUs) are arithmetic Functional Units that operate using several predictors for the carry signal. In spite of utilizing more than a predictor, none or only one additional very short cycle is enough for producing the correct result in the majority of the cases. In this paper our proposal takes advantage of multispeculation in order to increase the performance of tree structures with a negligible area penalty. By judiciously introducing these structures into computation trees, it will only be necessary to predict the carry signals in certain selected nodes, thus minimizing the total number of predictions and the number of operations that can potentially mispredict. Hence, the average latency will be diminished and thus performance will be increased. Our experiments show that it is possible to improve 26% execution time. Furthermore, our flow outperforms previous approaches with Speculative FUs

Estudio de la influencia del uso de entrenadores digitales portátiles para introducir a los estudiantes en el mundo y conocimiento de la electrónica digital, que facilite e incentive el aprendizaje autónomo del alumno

En la Facultad de Informática se imparte, en primer curso, la asignatura de Fundamentos de Computadores I, común a todos los Grados que se imparten en dicha Facultad y que cuenta con más de 500 alumnos. Impartida durante el primer cuatrimestre, hay una parte práctica consistente en el diseño digital, para lo que se utilizan entrenadores digitales fijos, de alto coste, disponibles en los laboratorios. Esto conlleva a que los alumnos únicamente pueden desarrollar sus prácticas en dichos laboratorios, la mayor parte del tiempo ocupados por otros grupos o prácticas de otras asignaturas. Asimismo, el curso que viene debido a la pandemia generada a raíz del COVID-19 los accesos a los laboratorios estarán mucho más restringidos. Además, las primeras semanas de curso los laboratorios se encuentran cerrados por mantenimiento y, por lo tanto, los alumnos acuden a la primera práctica sin haber podido comprender ni el entorno de trabajo ni el funcionamiento de los diferentes circuitos integrados. Tras haber desarrollado un entrenador digital portátil en el proyecto anterior, el objetivo global es el estudio de la influencia de la introducción del uso de un entrenador digital portátil, que se entregase individualmente a los alumnos para que realicen sus diseños digitales en lugar de en los entrenadores del laboratorio