An Approach to Enhance the Efficiency of RISC-V Verification Using Intelligent Algorithms | IEEE Conference Publication | IEEE Xplore