A Hybrid Framework for Functional Verification using Reinforcement Learning and Deep Learning. - Karunveer Singh; Rishabh Gupta; Vikram Gupta; Arash Fayyazi; Massoud Pedram; Shahin Nazarian (ACM Great Lakes Symposium on VLSI, 2019)