Writing testbenches : functional verification of HDL models - Bergeron, Janick (Kluwer Academic Publishers, 1990)