Test generation for shared-memory verification of multicore chips
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2021 |
| Tipo de documento: | Tese |
| Idioma: | eng |
| Texto Completo: | https://repositorio.ufsc.br/handle/123456789/226867 |
| id |
UFSC_e38201a2cf89c400a10e44cfb0146c4c |
|---|---|
| url |
https://repositorio.ufsc.br/handle/123456789/226867 |
| title |
Test generation for shared-memory verification of multicore chips |
| topic |
Engenharia de sistemas Automação Multiprocessadores Multiprocessadores Geradores (Programas de computador) |
| author |
Andrade, Gabriel Arthur Gerber |
| format |
doctoralThesis |
| language |
eng |
| publishDate |
2021 |
| instname_str |
Universidade Federal de Santa Catarina (UFSC) |
| instacron_str |
UFSC |
| network_name_str |
Repositório Institucional da UFSC |
| oai_identifier_str |
oai:repositorio.ufsc.br:123456789/226867 |