Failures and verification solutions related to untimed paths in SOCs. - Pranav Ashar; Vikas Sachdeva; Vinod Viswanath (ISQED, 2017)