System On-A-Chip Verification door Prakash Rashinkar, Leena Singh & Peter Paterson