A Cache System Design for CMPs with Built-In Coherence Verification.

Mamata Dalui Biplab K. Sikdar

Published in: VLSI Design (2016)

Keyphrases

database
software architecture
functional verification
databases
case study
user interface
query processing
embedded systems
real time
data access
design principles
prefetching
design decisions
design tools
formal verification