Verificación física de implementaciones del microprocesador RISC-V mediante plataforma embebida basada en FPGA

Abstract

[ES] Proyecto de desarrollo de un sistema de verificación de implementaciones HDL del microprocesador RISC mediante una plataforma embebida PYNQ basada en FPGA de la serie ZINQ, que disponen en su interior de cores ARM. Se propone que mediante el uso de un navegador, se pueda ejecutar test de verificación escritos en Python que nos permitan verificar el funcionamiento de diseños de RISC-V desarrollados en HDL y que debemos compilar , mapear, rutar e implantar sobre el soporte FPGA de la plataforma PYNQ. El microprocesador ARM se encargaría de las tareas de comunicación con el usuario de la plataforma de verificación , se encargaría de compilar los programas sobre el diseño de RISC-V a verificar, y por último serviría como referencia para determinar el comportamiento requerido en el RISC-V objeto de verificación.