Challenges in System on Chip Verification. - Noah Bamford; Rekha Bangalore; Eric Chapman; Hector Chavez; Rajeev Dasari; Yinfang Lin; Edgar Jimenez (MTV, 2006)