The Design and Verification of the Rio File Cache.

Wee Teck Ng Peter M. Chen

Published in: IEEE Trans. Computers (2001)

Keyphrases

case study
query processing
software architecture
response time
building blocks
model checking
computer aided
embedded systems
formal verification
memory hierarchy
functional verification