IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2011 · 57 citations · 15 references
EngineeringComputer EngineeringComputer ScienceAlgorithmsProbability TheoryStochastic ProcessesCombinational Logic DescriptionLogic SynthesisProbability DistributionsCombinational Logic DesignCombinational Logic SynthesisProbabilistic ComputationProbability EncodingRandom Bit GenerationRandomness Generation
Schemes for probabilistic computation can exploit physical sources to generate random values in the form of bit streams. Generally, each source has a fixed bias and so provides bits with a specific probability of being one. If many different probability values are required, it can be expensive to generate all of these directly from physical sources. This paper demonstrates novel techniques for synthesizing combinational logic that transforms source probabilities into different target probabilities. We consider three scenarios in terms of whether the source probabilities are specified and whether they can be duplicated. In the case that the source probabilities are not specified and can be duplicated, we provide a specific choice, the set {0.4, 0.5} ; we show how to synthesize logic that transforms probabilities from this set into arbitrary decimal probabilities. Further, we show that for any integer <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</i> ≥ 2, there exists a single probability that can be transformed into arbitrary base- <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</i> fractional probabilities. In the case that the source probabilities are specified and cannot be duplicated, we provide two methods for synthesizing logic to transform them into target probabilities. In the case that the source probabilities are not specified, but once chosen cannot be duplicated, we provide an optimal choice.
15
An Architecture for Fault-Tolerant Computation with Stochastic Logic
Weikang Qian, Xin Li, Marc D. Riedel et al. · IEEE Transactions on Computers · 2010 · 416 citations
J. Savir, Gary S. Ditlow, Paul H. Bardell · IEEE Transactions on Computers · 1984 · 282 citations
Savir, Bardell · IEEE Transactions on Computers · 1984 · 181 citations