title
Enhancing Assertion-Based Verification in Hardware Designs through Data Mining Algorithms
Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
author
Heidari Iman, Mohammad Reza
keywords
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
description
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
serial number
37/2024
publisher
TalTech Press
TalTech Kirjastus
supervisor
Ghasempouri, Tara
Jervan, Gert
defence date
22.08.2024
identifier
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
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