"Principles of Functional Verification" - читать интересную книгу автора (Andreas Meyer)