System-On-A-Chip verification : Methodology and techniques - Rashinkar, Prakash (Springer + Business Media, 2001)