Compositional performance verification of NoC designs.

Daniel E. Holcomb Alexander Gotmanov Michael Kishinevsky Sanjit A. Seshia

Published in: MEMOCODE (2012)

Keyphrases

model checking
multi processor
routing algorithm
formal verification
network on chip
data sets
person identification
design space
packet switched
real time
signature verification
formal analysis
face verification
design principles
temporal logic
multistage
artificial intelligence