pealkiri
Enhancing Assertion-Based Verification in Hardware Designs through Data Mining Algorithms
Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
autor
Heidari Iman, Mohammad Reza
märksõnad
hardware verification
assertion-based verification
automatic assertion mining
data mining in verification
dissertations
riistvara verifitseerimine
väidete-põhine verifitseerimine
automaatne väitelausete leidmine
andmekaeve verifitseerimises
dissertatsioonid
kirjeldus
Citation: Heidari Iman, M. R. (2024). Enhancing Assertion-Based Verification in Hardware Designs through Data Mining Algorithms [TalTech Press]. https://doi.org/10.23658/taltech.37/2024
doktoritöö järjekorranumber
37/2024
väljaandja
TalTech Press
TalTech Kirjastus
juhendaja
Ghasempouri, Tara
Jervan, Gert
kaitsmiskuupäev
22.08.2024
identifikaator
https://digikogu.taltech.ee/et/Item/622f3660-e890-454d-aa85-7cc505557f77
ISBN 978-9916-80-177-2 (PDF)
https://doi.org/10.23658/taltech.37/2024
keel
eng
õigused
CC BY-NC-SA
asutus
Tallinn University of Technology
Tallinna Tehnikaülikool
teaduskond
School of Information Technologies
Infotehnoloogia teaduskond
instituut / kolledž
Department of Computer Systems
Arvutisüsteemide instituut