JAVOR, Adrián. \textit{Formalní verifikace RISC-V procesoru s využitím Questa PropCheck}. Online. Master's thesis. Brno: Brno University of Technology. 2020. Available from: https://theses.cz/id/bt5s0u/.
JAVOR, Adrián. <i>Formalní verifikace RISC-V procesoru s využitím Questa PropCheck</i>. Online. Master's thesis. Brno: Brno University of Technology. 2020. Available from: https://theses.cz/id/bt5s0u/.
JAVOR, Adrián. Formalní verifikace RISC-V procesoru s využitím Questa PropCheck. Online. Master's thesis. Brno: Brno University of Technology. 2020. Available from: 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. 2024-06-12]",
TYPE = "Master's thesis",
SCHOOL = "Brno University of TechnologyBrno",
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 = {Master's thesis},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/bt5s0u/},
URL_DATE = {2024-06-12},
}
{{Citace kvalifikační práce
| příjmení = Javor
| jméno = Adrián
| instituce = Brno University of Technology
| titul = Formalní verifikace RISC-V procesoru s využitím Questa PropCheck
| url = https://theses.cz/id/bt5s0u/
| typ práce = Master's thesis
| vedoucí =
| rok = 2020
| počet stran =
| strany =
| citace = 2024-06-12
| poznámka =
| jazyk =
}}