System-on-a-Chip Verification Methodology and Techniques - Rashinkar, Prakash; Paterson, Peter; Singh, Leena (Springer US, 2002)