KEYWORD |
DAUIN - GR-05 - ELECTRONIC CAD and RELIABILITY GROUP - CAD
Sviluppo di sistema automatico per la generazione di verification test per la gestione della memoria condivisa in un sistema multicore basato su RISC-V
Parole chiave MEMORY CONSISTENCY ALGORITHMS, MICROPROCESSOR VERIFICATION, SOC VERIFICATION
Riferimenti ANNACHIARA RUOSPO, EDGAR ERNESTO SANCHEZ SANCHEZ
Riferimenti esterni Andrea Parri, RIVOS Inc.
Gruppi di ricerca DAUIN - GR-05 - ELECTRONIC CAD and RELIABILITY GROUP - CAD
Descrizione Sviluppo di framework automatico per la generazione di test di verification per la consistenza della memoria in sistemi multi core che usano come core principali i processori RISC-V.
Conoscenze richieste The ideal candidate(s) should have experience with RTL simulation and with the RISC-V ISA, but previous work with memory consistency models/verification is not required.
Scadenza validita proposta 13/10/2024
PROPONI LA TUA CANDIDATURA