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
juhendaja
autor juhendaja
autor juhendaja
vastutusandmed
Mohammad Reza Heidari Iman ; [supervisor: Tara Ghasempouri, co-supervisor: Gert Jervan ; Tallinn University of Technology, School of Information Technologies, Department of Computer Systems]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
TalTech Press
ilmumisaasta
2024
leheküljed
208 p. : ill
seeria-sari
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 37/2024
märksõna
riistvara
andmekaeve
algoritmid
verifikatsioon
vormimärksõna
dissertatsioonid
ISSN
2585-6898
2585-6901 (PDF)
ISBN
978-9916-80-177-2 (PDF)
978-9916-80-176-5
märkused
Autori publikatsioonide nimekiri leheküljel 7
Bibliogr. lk. 77-89
Kokkuvõte eesti keeles
Kättesaadav ka võrguteavikuna
Autori CV inglise ja eesti keeles, lk. 205-208
Thesis (Ph.D. in Information and Communication Technologies) : Tallinn University of Technology, 2024
leitav
https://digikogu.taltech.ee/et/Item/622f3660-e890-454d-aa85-7cc505557f77
https://doi.org/10.23658/taltech.37/2024
https://www.ester.ee/record=b5694015*est
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
2.3
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise