Effective functional verification : principles and processes - Vasudevan, Srivatsa (Netherlands : Springer, 2006)
Keywords: CIRCUITOS INTEGRADOS DIGITALES; MICROPROCESADORES; VERIFICACION