Debugging with dominance: On-the-fly RTL debug solution implications.

Hratch Mangassarian Andreas G. Veneris Duncan Exon Smith Sean Safarpour

Published in: ICCAD (2011)

Keyphrases

optimal solution
model based diagnosis
mathematical model
linear equations
novice programmers
data sets
databases
neural network
genetic algorithm
social networks
image processing
image segmentation
search space
np hard