"Verification Techniques for System-Level Design" - читать интересную книгу автора (Masahiro Fujita, Indradeep Ghosh, Mukul Prasad)