área de pesquisa Alair Dias Júnior Análise de cobertura e geração de vetores de teste para módulos descritos em Systemc
