Verifying properties using sequential ATPG [IC design] | IEEE Conference Publication | IEEE Xplore