"Contribuições à verificação funcional ajustada por cobertura para núcleos de hardware de comunicação e multimídia" Documento