"Functional Verification of Programmable Embedded Architectures" - читать интересную книгу автора (Prabhat Mishra, Nikil D. Dutt)