Exploiting logic simulation to improve simulation-based sequential ATPG | IEEE Conference Publication | IEEE Xplore