An approach to instruction stream generation for functional verification of microprocessor designs.

Andrei Tatarnikov

Published in: EWDTS (2016)

Keyphrases

functional verification
data streams
formal verification
hardware software
real time
instruction set
database systems
information systems
low cost
sliding window
streaming data
stream processing
low latency