A Low-Cost Bug Hunting Verification Methodology for RISC-V-Based Processors.

Camilo Rojas Hanssel Morales Elkim Roa

Published in: ISCAS (2021)

Keyphrases

low cost
low power consumption
instruction set
parallel algorithm
application specific
model checking
real time
source code
low power
design methodology
website
multiprocessor systems