title
Approaches to Extra-Functional Verification of Security and Reliability Aspects in Hardware Designs
Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
author
Lai, Xinhui
keywords
hardware security
extra-functional verification
design verification
dissertations
riistvara turvalisus
ekstra-funktsionaalsete aspektide verifitseerimine
funktsionaalne verifitseerimine
dissertatsioonid
description
Citation: Lai, X. (2022). Approaches to Extra-Functional Verification of Security and Reliability Aspects in Hardware Designs [TalTech Press]. https://doi.org/10.23658/taltech.29/2022
serial number
29/2022
publisher
TalTech Press
TalTech Kirjastus
supervisor
Jenihhin, Maksim
Raik, Jaan
defence date
17.06.2022
identifier
https://digikogu.taltech.ee/et/Item/cff1aeb9-b0b2-49ce-b81a-bfb9dc25fd56
ISBN 978-9949-83-852-3 (PDF)
https://doi.org/10.23658/taltech.29/2022
language
eng
rights
CC BY-NC-SA
institution
Tallinn University of Technology
Tallinna Tehnikaülikool
faculty
School of Information Technologies
Infotehnoloogia teaduskond
department / college
Department of Computer Systems
Arvutisüsteemide instituut