Login / Signup
Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging.
Niklas Bruns
Vladimir Herdt
Eyck Jentzsch
Rolf Drechsler
Published in:
DATE (2022)
Keyphrases
</>
instruction set
cross level
functional verification
model checking
high speed
data streams
real time
sliding window
floating point
association rules mining
association rules
application specific
computer architecture
level parallelism
multimedia
memory hierarchy
huge number
age estimation
frequent patterns
databases