Stochastic Functional Verification of DNN Design through Progressive Virtual Dataset Generation. - Jinhang Choi; Kevin M. Irick; Justin Hardin; Weichao Qiu; Alan L. Yuille; Jack Sampson; Vijaykrishnan Narayanan (ISCAS, 2018)