Text this: Evaluación de SoftCore PicoRV32 en TinyFPGABX