Verifica funzionale dell'ALU del processore Gaisler Leon3
Pierluigi Picciau - Department of Industrial Engineering, University of Padova
Questo documento è frutto del mio lavoro di tesi svolto sotto la supervisione dell’Ing. Alessandro Ogheri. Mi sono occupato della verifica funzionale dell’ALU del microprocessore Gaisler Leon3 rilasciato con licenza GPL. In un primo momento ho studiato le basi del linguaggio di descrizione dell’hardware VHDL, per poi rivolgere la mia attenzione verso le tecniche di verifica dell’hardware e verso il linguagggio di verifica e. Grazie alle conoscenze apprese ho sviluppato un ambiente di verifica per il processore Leon3, focalizzando l’attività di verifica sulle istruzioni che coinvolgono l’ALU (istruzioni aritmetiche, logiche e di controllo del flusso).
Leggi tutto
Fonte: Tesi di Laurea, Università degli Studi di Padova, Anno Accademico 2011-2012
Settori: Energie non rinnovabili, GAS
Parole chiave: GPL
- CAVAGNA GROUP
- Alberta Carella, Annunziata D'Orazio, Sapienza Università di Roma
- Enerblu Cogeneration