Parallelization of unit propagation algorithm for SAT-based ATPG of digital circuits.

Lamya G. Ali Aziza I. Hussein Hanafy M. Ali

Published in: ICM (2016)

Keyphrases

np hard
dynamic programming
learning algorithm
computational complexity
search space
simulated annealing
objective function
search algorithm
linear programming
orders of magnitude
search strategy
digital circuits