Dam Sunwoo Joonsoo Kim Derek Chiou QUICK: A flexible full-system functional model. 249-258 2009 ISPASS http://dx.doi.org/10.1109/ISPASS.2009.4919656 conf/ispass/2009 db/conf/ispass/ispass2009.html#SunwooKC09