Login / Signup
Simulation and Formal: The Best of Both Domains for Instruction Set Verification of RISC-V Based Processors.
Ckristian Duran
Hanssel Morales
Camilo Rojas
Annachiara Ruospo
Ernesto Sánchez
Elkim Roa
Published in:
ISCAS (2020)
Keyphrases
</>
instruction set
floating point
application specific
computer architecture
embedded systems
formal methods
level parallelism
memory subsystem
model checking
parallel computing
database
database systems
general purpose
power consumption