Login / Signup
Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level.
Frank Riese
Vladimir Herdt
Daniel Große
Rolf Drechsler
Published in:
VLSI-SoC (2021)
Keyphrases
</>
instruction set
case study
floating point
application specific
formal verification
functional verification
real time
high speed
embedded systems
computer architecture
general purpose
symbolic execution
multimedia
model checking
higher level
software testing
single chip