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

Browse the full ISCAS paper archive.