Failures and verification solutions related to untimed paths in SOCs.

Pranav Ashar Vikas Sachdeva Vinod Viswanath

Published in: ISQED (2017)

Keyphrases

model checking
formal methods
neural network
data mining
information retrieval
information systems
feature selection
knowledge base
web services
bayesian networks
lower bound
shortest path
benchmark problems