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
assertion-based verification
automatic assertion mining
data mining in verification
väidete-põhine verifitseerimine
automaatne väitelausete leidmine
andmekaeve verifitseerimises
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
kaitsmiskuupäev
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
õigused
CC BY-NC-SA