Formal verification using bounded model checking: SAT versus sequential ATPG engines | IEEE Conference Publication | IEEE Xplore