System-on-a-chip verification : METHODOLOGY AND TECHNIQUES - Rashinkar, Prakash (Kluwer Academic Publishers, 2001)