Systematic RISC-V based Firmware Design⋆ | IEEE Conference Publication | IEEE Xplore