Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs.

Karsten Scheibler Dominik Erb Bernd Becker

Published in: DATE (2016)

Keyphrases

industrial applications
highly accurate
databases
computationally efficient
high accuracy
industrial processes
accurate estimation
parameter values
design principles
attribute values
real time
user interface
digital libraries
multi agent systems
training data
computer vision
search engine
data sets