On Timing-Independent False Path Identification

doi 10.1109/iccad.2010.5653847