ARTmine : automatic association rule mining with temporal behavior for hardware verification
author
Heidari Iman, Mohammad Reza
Jervan, Gert
Ghasempouri, Tara
statement of authorship
Mohammad Reza Heidari Iman, Gert Jervan, Tara Ghasempouri
source
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings
publisher
IEEE
year of publication
2024
pages
p. 1-6 : ill
conference name, date
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 25-27 March 2024
conference location
Valencia, Spain
url
https://ieeexplore.ieee.org/document/10546742
https://doi.org/10.23919/DATE58400.2024.10546742
subject term
andmekaeve
verifikatsioon
riistvara
korrelatsioonanalüüs
Scopus
https://www.scopus.com/sourceid/5400152603
https://www.scopus.com/pages/publications/85196491362?inward
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001253778900231
quartile
Q1
category (general)
Engineering
Tehnika
category (sub)
Engineering. General engineering
Tehnika. Üldine inseneriteadus
keyword
Hardware
Data mining
verification
assertion-based verification
automatic assertion mining
data mining
association rule mining
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
ISSN
1530-1591
ISBN
979-8-3503-4859-0
notes
Bibliogr.: 29 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
arvutisüsteemide instituut
language
inglise