DFT+Emulation - A Faster Way to Close Verification. - Jitendra Aggarwal; Tran Nguyen; Piyush Kumar Gupta (QRS Companion, 2018)