System-On-a-Chip Verification: Methodology and Techniquesis the first book to cover verificatio...