Login / Signup
Compositional Performance Verification of Network-on-Chip Designs.
Daniel E. Holcomb
Sanjit A. Seshia
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
</>
network on chip
routing algorithm
model checking
data transfer
network simulator
multi processor
wireless sensor networks
power dissipation
packet switched
multistage
computer networks
data access
interconnection networks