Design of coherence verification unit for CMPs realizing dragon protocol.

Bidesh Chakraborty Mamata Dalui Biplab K. Sikdar

Published in: VDAT (2016)

Keyphrases

computer aided
building blocks
formal verification
model checking
formal analysis
control unit
real time
artificial intelligence
information systems
case study
digital libraries
user interface
design principles
embedded systems
design space