Heidari Iman, M.R., Raik, J., Jenihhin, M., Jervan, G., Ghasempouri, T.

täiskirje prindi

An automated method for mining high-quality assertion sets

autor

Heidari Iman, Mohammad Reza

Raik, Jaan

Jenihhin, Maksim

Jervan, Gert

Ghasempouri, Tara

vastutusandmed

Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri

allikas

Microprocessors and microsystems

kirjastus/väljaandja

Elsevier

ajakirja aastakäik number kuu

vol. 97

ilmumisaasta

2023

leheküljed

art. 104773

leitav

https://doi.org/10.1016/j.micpro.2023.104773

ISSN

0141-9331

märkused

Bibliogr.: 33 ref

teaduspublikatsioon

keel

inglise

Märksõnad ja võtmesõnad

märksõna

andmekaeve

andmetöötlus

verifikatsioon

algoritmid

võtmesõna

assertion-based verification

automatic assertion mining

assertion qualification

data mining

Teaduspublikatsiooni meetrika

klassifikaator

1.1

Scopus

Journal metrics at Scopus

Article at Scopus

WOS

Journal metrics at WOS

Article at WOS

kvartiil

Kategooriad

kategooria (üld)

Arvutiteadus

kategooria (alam)

Arvutiteadus. Arvutivõrgud ja side

Arvutiteadus. Riistvara ja arhitektuur

Arvutiteadus. Tarkvara

Arvutiteadus. Tehisintellekt

TalTechi üksused

TTÜ struktuuriüksus

arvutisüsteemide instituut

Seotud publikatsioonid

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

Heidari Iman, M.R., Raik, J., Jenihhin, M., Jervan, G., Ghasempouri, T. An automated method for mining high-quality assertion sets // Microprocessors and microsystems (2023) vol. 97, art. 104773. https://doi.org/10.1016/j.micpro.2023.104773