FPGA-Based Solution for On-Board Verification of Hardware Modules Using HLS

Abstract

High-Level Synthesis (HLS) tools provide facilities for the development of specialized hardware accelerators (HWacc). However, the verification stage is still the longest phase in the development life-cycle. Unlike in the software industry, HLS tools lack testing frameworks that could cover the whole design flow, especially the on-board verification stage of the generated RTL. This work introduces a framework for on-board verification of HLS-based modules by using reconfigurable systems and Docker containers with the aim to automate the verification process and preserve a clean testing environment, making the testbed reusable across different stages of the design flow. Moreover, our solution features a mechanism to check timing requirements of the HWacc. We have applied our solution to the C-kernels of the CHStone Benchmark on a Zedboard, in which the on-board verification process has been accelerated up to four times.

RELEN. Educación Normal en Latinoamérica. 2023

“…Aun cuando se ha avanzado en el uso de la tecnología para generar AVA, todavía queda camino por recorrer, puesto que existen profesores que consideran que no cuentan con las habilidades suficientes para utilizar las herramientas digitales, lo que, limita la generación de esos espacios, por lo que resulta necesario que "el profesorado cuente con competencias para usar las nuevas tecnologías de la información y de la comunicación en su práctica profesional para disponer de mejores elementos para brindar una educación de calidad y para guiar eficazmente el desarrollo de las competencias del alumnado" (CEPAL-UNESCO, NACIONES UNIDAS, 2020; p.13), para lograr generar ambientes donde se privilegie el proceso enseñan-Las percepciones de los docentes de educación normal sobre los Ambientes Virtuales de Aprendizaje (AVA) y su generación dentro de la práctica educativa. Barba, et.al, (2024) za aprendizaje, aun cuando afirman contar con conocimientos para fortalecer ambientes de confianza a través del respeto y seguridad para el desarrollo del trabajo que en los cursos se demandan.…”

“…Las percepciones de los docentes de educación normal sobre los Ambientes Virtuales de Aprendizaje (AVA) y su generación dentro de la práctica educativa. Barba, et.al, (2024)…”

“…Las percepciones de los docentes de educación normal sobre los Ambientes Virtuales de Aprendizaje (AVA) y su generación dentro de la práctica educativa. Barba, et.al, (2024) (2013), propone que, un ambiente de aprendizaje es la forma en la que interactúan los individuos y la manera en la que los docentes diseñan sus clases. Carranza et al(2016) establece una tipología de ambientes de aprendizaje que describe como un conjunto de escenarios posibles de aprendizaje, el primero refiere al paradigma del ejercicio, en el cual, se acepta más o menos explícitamente que la resolución de ejercicios, es el método para aprender un tópico determinado, el segundo denominado escenario de investigación, se define como una situación particular que tiene la potencialidad para promover un trabajo investigativo o de indagación, por último, en un buen ambiente de aprendizaje se utilizan herramientas que son todos los instrumentos empleados para realizar las actividades desde los útiles escolares de un alumno y los presentes en el aula (pizarrón, tiza), hasta el lenguaje necesario para comunicarse entre los actores, además, las tecnologías de la información y la comunicación.…”

“…Las percepciones de los docentes de educación normal sobre los Ambientes Virtuales de Aprendizaje (AVA) y su generación dentro de la práctica educativa. Barba, et.al, (2024) a. Infraestructura, esta hace referencia al espacio físico o virtual donde se desarrolla el proceso de enseñanza y aprendizaje. Ambos espacios deben estar diseñados de manera que propicien un aprendizaje significativo a través de la integración de recursos de aprendizaje que garanticen el éxito del mismo.…”

CCSDS 131.2-B-1 Transmitter Design on FPGA with Adaptive Coding and Modulation Schemes for Satellite Communications

“…In order to illustrate the design, several RTL schematics obtained from Vivado software are shown in Figures 14-19. In these schematics, the reader may notice the use of AXI-stream signals [13] to interconnect the different components pairing a component's master/output port with the slave/input port of the downstream component. Figure 15 reveals a new FIFO component in the structure.…”