System-on-a-chip verification : methodology and techniques - Rashinkar, Prakash, 1960- (Kluwer Academic Publishers, 2001)