"Standardized Functional Verification" - читать интересную книгу автора (Alan Wiemann)