Delay test generation with all reachable output propagation and multiple excitations | IEEE Conference Publication | IEEE Xplore