Tested on real silicon: Automating RISC-V Hardware-in-the-Loop