"Hardware Verification with C++: A Practitioners Handbook" - читать интересную книгу автора (Mike Mintz Robert Ekendahl)