Rolling the dice with random instructions is the safe bet on RISC-V verification Author(s): Simon Davidmann and Lee Moore, Richard Ho and Tao Liu, and Doug Letcher and Aimee Sutton Format: pdf Download