Automatic high functional coverage stimuli generation for assertion-based verification
autor
Rostami, Hossein
Hosseini, Mostafa
Azarpeyvand, Ali
Heidari Iman, Mohammad Reza
Ghasempouri, Tara
vastutusandmed
Hossein Rostami, Mostafa Hosseini, Ali Azarpeyvand, Mohammad Reza Heidari Iman, Tara Ghasempouri
allikas
Proceedings 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design
ilmumiskoht
Piscataway, New Jersey
kirjastus/väljaandja
IEEE
ilmumisaasta
2024
leheküljed
7 p. : ill
konverentsi nimetus, aeg
IEEE 30th International Symposium on On-Line Testing and Robust System Design, July 3–5 2024
konverentsi toimumispaik
Rennes, France
leitav
https://doi.org/10.1109/IOLTS60994.2024.10616069
märksõna
verifikatsioon
stiimulid
mõõdistamine
riistvara
Scopus
https://www.scopus.com/pages/publications/85201401082?origin=resultslist
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001293143000017
võtmesõna
assertion-based verification
constraint random verification
simulation trace
stimuli
ISSN
1942-9401
1942-9398
ISBN
979-8-3503-7055-3
979-8-3503-7056-0
märkused
Bibliogr.: 28 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise