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