@mastersthesis{mastersthesis933dd7d7,
title   = {Contribuições à verificação funcional ajustada por cobertura para núcleos de hardware de comunicação de multimídia},
author = {Romero Tobar, Edgar Leonardo and Wang, Jiang Chau},
year = {2010},
school = {Universidade de São Paulo}
}