SAARA: a simulated annealing algorithm for test pattern generation for digital circuits