17out2025
14:00 EQM integralmente à distância
Tema
Estratégias para verificação de processadores RISC-V com extensão vetorial
Aluno
Tales Perroni Nicoletti
Orientador / Docente
Lucas Francisco Wanner
Banca examinadora
Titulares:
| Lucas Francisco Wanner | IC/UNICAMP |
| Rodolfo Jardim de Azevedo | IC/UNICAMP |
| Sandro Rigo | IC/UNICAMP |
Suplentes:
| Isaías Bittencourt Felzmann | IC/UNICAMP |