[ES] Desarrollo de un sistema hardware implementado en un FPGA mediante el lenguaje de programación VHDL y posterior testeo de su correcto funcionamiento mediante un autómata de testeo y un lenguaje de descripción de test.