Efficient Sequence Generation for Hardware Verification Using Machine Learning. - Muhammad Gad; Mostafa AboelMaged; Maggie Mashaly; Mohamed A. Abd El Ghany (ICECS, 2021)

Online Constraints Update Using Machine Learning for Accelerating Hardware Verification. - Mostafa AboelMaged; Maggie Mashaly; Mohamed A. Abd El Ghany (NILES, 2021)