Login / Signup
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study.
Dominique Borrione
Amr Helmy
Laurence V. Pierre
Julien Schmaltz
Published in:
NOCS (2007)
Keyphrases
</>
generic model
appearance model
packet switched
case study
test bed
communication networks
communication systems
routing algorithm
multi processor
low cost
high speed
communication channels
parallel architectures
network on chip