"System-on-a-Chip Verification: Methodology and Techniques" - читать интересную книгу автора (Prakash Rashinkar, Peter Paterson, Leena Singh)