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