Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Picciau, Pierluigi (2012) Verifica funzionale dell'ALU del processore Gaisler Leon3. [Magistrali biennali]

Full text disponibile come:

[img]
Preview
PDF
1601Kb

Abstract

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). L’ambiente sviluppato è stato infine impiegato per l’esecuzione di una serie di test

Item Type:Magistrali biennali
Corsi di Diploma di Laurea:Scuola di Ingegneria > Ingegneria Informatica
Scuola di Ingegneria > Ingegneria Informatica
Uncontrolled Keywords:VHDL, verifica, hardware, cpu, Leon3, gaisler, specman
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Codice ID:42228
Relatore:Congiu, Sergio
Data della tesi:11 December 2012
Biblioteca:Polo di Ingegneria > Biblioteca di Ingegneria dell'Informazione e Ingegneria Elettrica "Giovanni Someda"
Tipo di fruizione per il documento:on-line per i full-text

Solo per lo Staff dell Archivio: Modifica questo record