Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
author
supervisor
statement of authorship
Mohammad Reza Heidari Iman ; [supervisor: Tara Ghasempouri, co-supervisor: Gert Jervan ; Tallinn University of Technology, School of Information Technologies, Department of Computer Systems]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
year of publication
pages
208 p. : ill
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 37/2024
subject term
subject of form
ISSN
2585-6898
2585-6901 (PDF)
ISBN
978-9916-80-177-2 (PDF)
978-9916-80-176-5
notes
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
url
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TalTech department
language
inglise
- An automated method for mining high-quality assertion sets
- IMMizer : an innovative cost-effective method for minimizing assertion sets
- Processor vulnerability detection with the aid of assertions : RISC-V case study
- ADAssure : debugging methodology for autonomous driving control algorithms
- ARTmine : automatic association rule mining with temporal behavior for hardware verification
Heidari Iman, M.R. Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks. Tallinn : TalTech Press, 2024. 208 p. : ill. (Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 37/2024).