Writing testbenches : functional verification of HDL models / Janick Bergeron. - Bergeron, Janick (Kluwer Academic, 2003)