Sai Manoj Pudukotai Dinakarrao Hao Yu 0001 Chenjie Gu Cheng Zhuo A zonotoped macromodeling for reachability verification of eye-diagram in high-speed I/O links with jitter. 696-701 2014 ICCAD https://doi.org/10.1109/ICCAD.2014.7001428 http://dl.acm.org/citation.cfm?id=2691506 conf/iccad/2014 db/conf/iccad/iccad2014.html#DinakarraoYGZ14