A zonotoped macromodeling for reachability verification of eye-diagram in high-speed I/O links with jitter | IEEE Conference Publication | IEEE Xplore