A Holistic Approach to SoC Verification. - Alicia Strang; David Potts; Shankar Hemmady (ISQED, 2008)