Design and verification of RISC-V CPU based on HLS and UVM | IEEE Conference Publication | IEEE Xplore