Tierney bq207
Mintz q207
Design Verification Using SystemC
OOP for Hardware Verification--Demystified!