Automatic high functional coverage stimuli generation for assertion-based verification
author
Rostami, Hossein
Hosseini, Mostafa
Azarpeyvand, Ali
Heidari Iman, Mohammad Reza
Ghasempouri, Tara
statement of authorship
Hossein Rostami, Mostafa Hosseini, Ali Azarpeyvand, Mohammad Reza Heidari Iman, Tara Ghasempouri
source
Proceedings 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design
location of publication
Piscataway, New Jersey
publisher
IEEE
year of publication
2024
pages
7 p. : ill
conference name, date
IEEE 30th International Symposium on On-Line Testing and Robust System Design, July 3–5 2024
conference location
Rennes, France
url
https://doi.org/10.1109/IOLTS60994.2024.10616069
subject term
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
keyword
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
notes
Bibliogr.: 28 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise