TY - BOOK AU - Bergeron,Janick ED - ebrary, Inc. TI - Writing testbenches: functional verification of HDL models AV - TK7885.7 .B47 2002eb PY - 2002/// CY - New York PB - Kluwer Academic KW - Computer hardware description languages KW - Integrated circuits KW - Verification KW - Electronic books KW - local N1 - Includes index; Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries UR - http://site.ebrary.com/lib/rucke/Doc?id=10053397 ER -