Reliability-evaluation of digital circuits using probabilistic computation schemes | IEEE Conference Publication | IEEE Xplore