On-line testing for autonomous systems driven by RISC-V processor design verification