An FPGA-based Random Functional Verification Method for Cache.

Tiejun Li Jianmin Zhang Sikun Li

Published in: NAS (2013)

Keyphrases

verification method
model checking
temporal logic
query processing
data access
prefetching
back end
main memory
hardware implementation
application specific
cache replacement
video sequences
general purpose
hit rate
functional properties