Design verification via simulation and automatic test pattern generation