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
Location:
United States
Year:
2020
Type:
Presentation
Format:
pdf