TY - BOOK AU - Vasudevan,Srivatsa TI - Effective functional verification: principles and processes SN - 0387286012 (empastado) AV - TK7874.58 V37 U1 - 621.3815 22 PY - 2006/// CY - Dordrecht PB - Springer Verlag KW - Circuitos integrados KW - Verificación ER -