Failures and verification solutions related to untimed paths in SOCs | IEEE Conference Publication | IEEE Xplore