On-line Testing for Autonomous Systems driven by RISC-V Processor Design Verification | IEEE Conference Publication | IEEE Xplore