"Writing Testbenches - Functional Verification of HDL Models" - читать интересную книгу автора (Janick Bergeron)