TY - BOOK AU - Bergeron, Janick TI - Writing testbenches: functional verification of HDL models SN - 0-7923-7766-4 U1 - 621.3815 PY - 2000/// CY - Boston PB - Kluwer Academic KW - Circuits theory KW - Computer hardware KW - Integrated circuits N1 - Includes index; Ahyja Book ER -