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
Verifica funzionale dell'ALU del processore Gaisler Leon3
Picciau, Pierluigi
2012/2013
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 testFile | Dimensione | Formato | |
---|---|---|---|
Picciau-Tesi.pdf
accesso aperto
Dimensione
1.6 MB
Formato
Adobe PDF
|
1.6 MB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
https://hdl.handle.net/20.500.12608/16484