Verificación lógica de los modelos sintetizados para circuitos integrados. - González Rojas, José Daniel (J. González R., 2010)