Verifica funzionale dell'ALU del processore Gaisler Leon3

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).