TEA: A Test Generation Algorithm for Designs with Timing Exceptions | IEEE Conference Publication | IEEE Xplore