Multi-interval static timing analysis accounting logic compatibility | IEEE Conference Publication | IEEE Xplore