RC-Mock: Mocking Framework para módulos hardware generados mediante HLS
J. Caba; F. Rincón; J.D. Dondo; J. Barba; M.J. Abaldea; J.C. López
Conference: Jornadas de Computación Empotrada y Reconfigurable
Location: Teruel (Spain)
Date: 12/09/2018 - 14/09/2018
Pages: 567-574
ISBN: 978-84-09-04334-7
[link]
Abstract
La fase de verificación es una de las fases más importantes dentro del ciclo de vida de un producto, debido a que de ella depende en gran medida el time-to-market del mismo. En los últimos años el flujo de diseño hardware para sistemas basados en FPGAs (Field-Programmable Gate Arrays) ha evolucionado notablemente, permitiendo el uso de lenguajes de alto nivel para la descripción de aceleradores hardware. Este avance ha permitido disminuir el esfuerzo realizado por los desarrolladores a la hora de implementar sus diseños. Sin embargo, la etapa de verificación continúa siendo una tarea compleja de abordar, principalmente debido a que en la mayoría de entornos de verificación es necesario incluir componentes de terceros. Este trabajo propone como solución el uso de dobles de prueba propuesto en las metodologías de desarrollo ágil en un entorno puramente hardware, utilizando un dispositivo físico como plataforma de verificación hardware. El framework de mocks propuesto en este trabajo, RC-Mock, permite reemplazar la funcionalidad de terceros dentro de un diseño HLS (High-Level Synthesis) por un componente que imita el comportamiento real de ese tercero, eliminando del diseño original las dependencias. Esta verificación será realizada en un dispositivo físico con el fin de eliminar inexactitudes que introducen las herramientas HLS y reducir el tiempo que introduce la co-simulación. Sobre el dispositivo lógico reconfigurable o FPGA se ha diseñado una plataforma de verificación hardware disponible remotamente permitiendo el despliegue de diseños basados en FPGA y su posterior verificación con un framework de testing.