Verificação de coerência e consistência de memória compartilhada para multiprocessamento em chip: o impacto da simulação de falhas na avaliação de cobertura

Abstract

Está sob desenvolvimento no NIME uma ferramenta de verificação funcional de sistemas de memória para sistemas integrados multiprocessados. O objetivo deste trabalho é dar suporte à validação da ferramenta em desenvolvimento, permitindo comparar sua operação com a de ferramentas congêneres. A principal contribuição deste trabalho será a de introduzir erros deliberadamente na representação executável de uma plataforma para fins de validação da ferramenta de verificação em desenvolvimento.