Formalní verifikace RISC-V procesoru s využitím Questa PropCheck – Adrián Javor

JAVOR, Adrián. <i>Formalní verifikace RISC-V procesoru s využitím Questa PropCheck</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/bt5s0u/.

JAVOR, Adrián. Formalní verifikace RISC-V procesoru s využitím Questa PropCheck. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/bt5s0u/.

@MastersThesis{Javor2020thesis,
AUTHOR = "Javor, Adrián",
TITLE = "Formalní verifikace RISC-V procesoru s využitím Questa PropCheck [online]",
YEAR = "2020 [cit. 2025-03-09]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/bt5s0u/",
}

@MastersThesis{Javor2020thesis,
AUTHOR = {Javor, Adrián},
TITLE = {Formalní verifikace RISC-V procesoru s využitím Questa PropCheck},
YEAR = {2020},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/bt5s0u/},
URL_DATE = {2025-03-09},
}

{{Citace kvalifikační práce
 | příjmení = Javor
 | jméno = Adrián
 | instituce = Vysoké učení technické v Brně
 | titul = Formalní verifikace RISC-V procesoru s využitím Questa PropCheck
 | url = https://theses.cz/id/bt5s0u/
 | typ práce = Diplomová práce
 | vedoucí = 
 | rok = 2020
 | počet stran =
 | strany =
 | citace = 2025-03-09
 | poznámka =
 | jazyk = 
}}