Stochastic Functional Verification of DNN Design through Progressive Virtual Dataset Generation | IEEE Conference Publication | IEEE Xplore