A fast and provably bounded failure analysis of memory circuits in high dimensions | IEEE Conference Publication | IEEE Xplore