Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG.

Jan Burchard Dominik Erb Adit D. Singh Sudhakar M. Reddy Bernd Becker

Published in: DATE (2017)

Keyphrases

database
high precision
frequency domain
multi agent systems
active learning
high accuracy
bounded model checking
planning domains
image formation
answer set programming
orders of magnitude
computationally efficient
multi agent
high quality
training data
information systems
real time