• Automatic high functional coverage stimuli generation for assertion-based verificationRostami, Hossein; Hosseini, Mostafa; Azarpeyvand, Ali; Heidari Iman, Mohammad Reza; Ghasempouri, TaraProceedings 2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design2024 / 7 p. : ill https://doi.org/10.1109/IOLTS60994.2024.10616069 https://www.scopus.com/pages/publications/85201401082?origin=resultslist https://www.webofscience.com/wos/woscc/full-record/WOS:001293143000017