PORTALE DELLA DIDATTICA

Ricerca CERCA
  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