SMV methodology enhancements for high speed I/O links of SoCs. - Andres Viveros-Wacher; Ricardo Alejos; Liliana Alvarez; Israel Diaz-Castro; Brenda Marcial; Gaston Motola-Acuna; Edgar-Andrei Vega-Ochoa (VTS, 2014)