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