C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Design, implementation, and verification of active cache emulator (ACE).
Jumnit Hong
Eriko Nurvitadhi
Shih-Lien Lu
Published in:
FPGA (2006)
Keyphrases
</>
design methodology
design principles
case study
design process
formal methods
implementation issues
modular design
operating system
architectural design
high level synthesis
parallel distributed
model checking
engineering design
formal verification
design methodologies