21 out 2024
11:00 EQM na sala 85 do Instituto de Computação da Unicamp
Tema
Análise de Métodos de Verificação de Processadores RISC-V para Integração Contínua
Aluno
Gabriel Pimentel Gomes
Orientador / Docente
Rodolfo Jardim de Azevedo
Banca examinadora
Titulares:
| Rodolfo Jardim de Azevedo | IC/UNICAMP |
| Lucas Francisco Wanner | IC/UNICAMP |
| Hervé Cédric Yviquel | IC/UNICAMP |
Suplentes:
| Edson Borin | IC/UNICAMP |