Early case splitting and false path detection to improve high level ATPG techniques | IEEE Conference Publication | IEEE Xplore