High quality behavioral verification using statistical stopping criteria | IEEE Conference Publication | IEEE Xplore