Test coverage debugging for designs with timing exception paths | IEEE Conference Publication | IEEE Xplore