Verifikacijsko okruženje za oblikovanje računalnog sustava temeljenog na procesoru arhitekture RISC-V

završni rad

• Naslov (engleski): Development of verification environment for the development of computing system based on RISC-V ISA
• Autor: Vinko Đurić
• Mentor: Josip Knezović (mentor)
• Član povjerenstva: Josip Knezović (član povjerenstva)
• Član povjerenstva: Danko Basch (član povjerenstva)
• Član povjerenstva: Hana Ivandić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2024-07-03, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

Pri razvijanju i nadogradnji računalnog sustava važno je ispitati ispravnost rada i usklađenost s očekivanim ponašanjem. Iz tog razloga se za računalni sustav provodi verifikacija. U ovom radu razvijeno je verifikacijsko okruženje za razvoj računalnog sustava s procesorom arhitekture RISC-V temeljeno na programskom paketu SSPARCSS kao referentnom modelu. Postojeći model računalnog sustava s procesorom arhitekture RISC-V vizualno je unaprijeđen te je proširen dodavanjem i ispravljanjem postojećih instrukcija, pseudoinstrukcija i direktiva te implementacijom prekidnog sustava. U radu su opisani načini rada i instrukcijski skupovi arhitekture RISC-V.

Sažetak (engleski)

When developing and upgrading a computer system, it is important to check its correctness and compliance with the expected behavior. For this reason, verification is performed for the development of computer system. In this work, a verification environment for development of RISC-V processor based on the SSPARCSS software package as a reference model was developed. The existing model of a computer system with a RISC-V processor was visually enhanced, extended by adding and correcting existing instructions, pseudo-instructions and directives and by implementing an interrupt system. Thesis describes privilege modes and instruction sets of the RISC-V architecture.

• Ključne riječi: RISC-V; verifikacija; SSPARCSS; COMDEL; ADEL; arhitektura računala
• Ključne riječi (engleski): RISC-V; verification; SSPARCSS; COMDEL; ADEL; computer architecture
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:925826
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: preddiplomski; Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2024-10-12 20:31:29