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