System-On-A-Chip Verification - Rashinkar, Prakash (New Delhi Springer, 2009)