Rolling the dice with random instructions is the safe bet on RISC-V verification

Simon Davidmann and Lee Moore, Richard Ho and Tao Liu, and Doug Letcher and Aimee Sutton

pdf