HL5: A 32-bit RISC-V Processor Designed with High-Level Synthesis. - Paolo Mantovani; Robert Margelli; Davide Giri; Luca P. Carloni (CICC, 2020)