TY - BOOK AU - Wilcox,Paul TI - Professional verification: a guide to advanced functional verification SN - 1402078757 AV - TK7874.58 W545 U1 - 621.3815/48 22 PY - 2004/// CY - Boston PB - Kluwer Academic KW - Circuitos integrados KW - Verificación KW - Diseño y construcción ER -