False aggressors pruning using path sensitization and logic implications | IEEE Conference Publication | IEEE Xplore