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 Article at Scopus Article at WOS