Equivalence Among Stochastic Logic Circuits and its Application to Synthesis | IEEE Journals & Magazine | IEEE Xplore