Automatic high functional coverage stimuli generation for assertion-based verification

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
ilmumisaasta
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
ISSN
1942-9401
1942-9398
ISBN
979-8-3503-7055-3
979-8-3503-7056-0
märkused
Bibliogr.: 28 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
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