Jaeha Kim Mixed-Signal System Verification: A High-Speed Link Example. 16 2009 CAV https://doi.org/10.1007/978-3-642-02658-4_2 conf/cav/2009 db/conf/cav/cav2009.html#Kim09