Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification. - Hossein Rostami; Mostafa Hosseini; Ali Azarpeyvand; Mohammad Reza Heidari Iman; Tara Ghasempouri (IOLTS, 2024)