Writing Testbenches Functional Verification of HDL Models - Bergeron, Janick (Springer US, 2000)