Approximate simulation of circuits with probabilistic behavior | IEEE Conference Publication | IEEE Xplore