The FAST methodology for high-speed SoC/computer simulation. - Derek Chiou; Dam Sunwoo; Joonsoo Kim; Nikhil A. Patil; William H. Reinhart; Darrel Eric Johnson; Zheng Xu 004 (ICCAD, 2007)