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