Automatic high functional coverage stimuli generation for assertion-based verification

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
year of publication
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
ISSN
1942-9401
1942-9398
ISBN
979-8-3503-7055-3
979-8-3503-7056-0
notes
Bibliogr.: 28 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
keyword
constraint random verification
simulation trace
stimuli
Rostami, H., Hosseini, M., Azarpeyvand, A., Heidari Iman, M.R., Ghasempouri, T. Automatic high functional coverage stimuli generation for assertion-based verification // Proceedings 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design. Piscataway, New Jersey : IEEE, 2024. 7 p. : ill. https://doi.org/10.1109/IOLTS60994.2024.10616069