Application of Deep Reinforcement Learning to Dynamic Verification of DRAM Designs. - Hyojin Choi; In Huh; Seungju Kim; Jeonghoon Ko; Changwook Jeong; Hyeonsik Son; Kiwon Kwon; Joonwan Chai; Younsik Park; Jaehoon Jeong; Daesin Kim; Jung Yun Choi (DAC, 2021)