Reasoning about the function and timing of integrated circuits with interval temporal logic | IEEE Journals & Magazine | IEEE Xplore