Algorithms for interface timing verification | IEEE Conference Publication | IEEE Xplore