C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formally enhanced runtime verification to ensure NoC functional correctness.
Ritesh Parikh
Valeria Bertacco
Published in:
MICRO (2011)
Keyphrases
</>
functional verification
multi processor
data sets
routing algorithm
neural network
functional analysis
real time
model checking
image segmentation
concurrent systems
network on chip