TY - BOOK AU - Bergeron,Janick TI - Writing testbenches: functional verification of HDL models SN - 1402074018 AV - TK7885.7 .B47 2003 U1 - 621.3815 PY - 2003/// CY - New York PB - Springer KW - Computer hardware description languages Integrated circuits KW - Verification ER -