Satisfiability-Based Analysis of Failing Traces during Post-silicon Debug.

Amin Vali Nicola Nicolici

Published in: NATW (2015)

Keyphrases

data analysis
image analysis
statistical analysis
neural network
case study
quantitative analysis
machine learning
database systems
low cost
high speed
parallel processing
propositional logic