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

DSpace Repository

dc.contributor.advisor	Santos, Luiz Cláudio Villar dos
dc.contributor.author	Henschel, Olav Philipp
dc.contributor.other	Volpato, Daniel Pereira
dc.contributor.other	Güntzel, José Luís Almada
dc.date.accessioned	2018-02-23T20:21:32Z
dc.date.available	2018-02-23T20:21:32Z
dc.date.issued	2011
dc.identifier.other	1171
dc.identifier.uri	https://repositorio.ufsc.br/handle/123456789/184141
dc.description	TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
dc.description.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.
dc.subject	EDA
dc.subject	CAD
dc.subject	embedded systems
dc.subject	muticores
dc.subject	memory hierarchy
dc.title	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
dc.type	TCCgrad

Files	Size	Format	View
TCC - final.pdf	236.8Kb	PDF	View/Open