1 / 47

A Reconfigurable Stochastic Architecture for Highly Reliable Computing

Xin Li, Weikang Qian, Marc Riedel, Kia Bazargan & David Lilja. A Reconfigurable Stochastic Architecture for Highly Reliable Computing. Electrical & Computer Engineering. University of Minnesota. GLSVLSI, Boston – May 12, 2009. Opportunities & Challenges. Topological constraints .

kamali
Télécharger la présentation

A Reconfigurable Stochastic Architecture for Highly Reliable Computing

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Xin Li, Weikang Qian, Marc Riedel, Kia Bazargan & David Lilja A Reconfigurable Stochastic Architecture for Highly Reliable Computing Electrical & Computer Engineering University of Minnesota GLSVLSI, Boston – May 12, 2009

  2. Opportunities & Challenges • Topological constraints. • Inherent structural randomness. • High defect rates. Novel materials, devices, technologies: • High density of bits/logic/interconnects. Challenges for logic synthesis:

  3. Opportunities & Challenges Strategy: • Cast synthesis in terms of arithmetic operations on real values. • Synthesize circuits that compute logical values with probabilitycorresponding to the real-valued inputs and outputs.

  4. Probabilistic Signals deterministic deterministic random Claude E. Shannon1916 –2001 “A Mathematical Theory of Communication” Bell System Technical Journal,1948.

  5. Probabilistic Analysis • Circuit Reliability • Probabilistic fault models. • Random test pattern generation. • Statistical Timing Power (circuit level). • Statistical Performance Measures (architectural level).

  6. DigitalCircuit Probabilistic Analysis “There are knownknowns; and there are unknownunknowns; but today I’ll speak of the knownunknowns.” – Donald Rumsfeld, 2004 ProbabilisticInputs ProbabilisticOutputs Independent Unknown Known

  7. DigitalCircuit Probabilistic Analysis Synthesis of Probabilistic Circuits “There are knownknowns; and there are unknownunknowns; but today I’ll speak of the knownunknowns.” – Donald Rumsfeld, 2004 ProbabilisticInputs ProbabilisticOutputs Independent Specified Unknown Unknown (for us to design) Known

  8. Synthesis of Probabilistic Logic • Shannon and von Neumann: • “Probabilistic Logic,” • “Reliable Circuits Using Less Reliable Relays”. • K. Nepal, R. Bahar, J. Mundy, W. Patterson, and A. Zaslavsky, “Designing Logic Circuits for Probabilistic Computation in the Presence of Noise.” • L. Chakrapani, P. Korkmaz, B. Akgul, and K. Palem,“Probabilistic System-on-a-chip Architecture.”

  9. Stochastic Logic Probability values are the input and output signals. 0.616 combinationalcircuit 0.7 0.468

  10. Stochastic Logic + 2 0 . 6 t 0 . 4 t t - + 2 0 . 8 t 0 . 8 t 0 . 3 Probability values are the input and output signals. combinationalcircuit Functions of a probability value t.

  11. Stochastic Logic + 2 0 . 6 t 0 . 4 t - + 2 0 . 8 t 0 . 8 t 0 . 3 = = = = Pr( X 1 ) Pr( Z 1 ) t = = Pr( Y 1 ) 0 . 3 X t 0.3 Y t Z X t Z t 0.3 Y (independently)

  12. Stochastic Bit Streams 0,1,0,1,0 x = 2/5 X A real value x in [0, 1] is encoded as a stream of bits X.For each bit, the probability that it is one is: P(X=1) = x.

  13. Probabilistic Bundles 0 1 x = 2/5 0 X 0 1 A real value x in [0, 1] is encoded as a stream of bits X.For each bit, the probability that it is one is: P(X=1) = x.

  14. Stochastic Logic combinationalcircuit Probability values are the input and output signals. 4/8 5/8 3/8 4/8 3/8 8/8

  15. Stochastic Logic combinationalcircuit Probability values are the input and output signals. 0,1,1,0,1,0,1,0,… 1,1,0,1,0,1,1,0… 0,1,1,0,1,0,0,0,… 1,0,1,0,1,0,1,0,… 1,0,0,0,1,1,0,0,… 1,1,1,1,1,1,1,1,… serial bit streams

  16. Stochastic Logic Probability values are the input and output signals. 4/8 5/8 3/8 combinationalcircuit 4/8 3/8 8/8 parallel bit streams

  17. Randomness A/D A/D A/D A/D A/D A/D Analog interface with fractional weighting of 1’s. combinationalcircuit parallel bit streams

  18. Randomness LFSR Accumulator LFSR LFSR Accumulator LFSR Analog interface with fractional weighting of 1’s. combinationalcircuit parallel bit streams

  19. Nanowire Crossbar (idealized) Randomized connections, yet nearly one-to-one.

  20. Fault Tolerance Conventional approach: binary radix encoding. 0.111 (7/8) 0.001 (1/8) 0.010 (2/8)

  21. Fault Tolerance Conventional approach: binary radix encoding. 0.111 (7/8) 0.101 (5/8) 0.110 (6/8) Bit flips can result in large error.

  22. Fault Tolerance Stochastic Logic 0111111… (7/8) 01000000… (1/8) 1100000… (2/8) • Highly redundant. • Complex operations can be performed with simple logic.

  23. Fault Tolerance Stochastic Logic 0111111… (7/8) 01000100… (2/8) 1100100… (3/8) Bit flips never result in large errors. • Highly redundant. • Complex operations can be performed with simple logic.

  24. = c P ( C ) = c P ( C ) = P ( A ) P ( B ) = + - P ( S ) P ( A ) [ 1 P ( S )] P ( B ) = a b = + - s a ( 1 s ) b Arithmetic Operations Multiplication (Scaled) Addition 1 0

  25. g ( t ) t combinationalcircuit Synthesizing Stochastic Logic Only polynomials… Questions: • What kinds of functions can be implemented in the probabilistic domain? • How can we synthesize the logic to implement these?

  26. g ( t ) t combinationalcircuit Synthesizing Polynomials Only polynomials… • Implement polynomials using AND (multiplication) and MUX (scaled addition). • Must consider polynomials with coefficients less than 0 or larger than 1…

  27. A little math… Bernstein basis polynomial of degree n

  28. is a Bernstein coefficient A little math… Bernstein basis polynomial of degree n Bernstein polynomial of degree n

  29. , we have Given A little math… Obtain Bernstein coefficients from power-form coefficients:

  30. coefficients in unit interval Example: Converting a Polynomial Power-Form Polynomial Bernstein Polynomial

  31. g ( t ) t combinationalcircuit Synthesizing Polynomials Synthesis steps: • Convert the polynomial into a Bernstein form. • Elevate it until all coefficients are in the unit interval. • Implement this with “generalized multiplexing”.

  32. = c P ( C ) = + - P ( T ) P ( A ) [ 1 P ( T )] P ( B ) = + - t a ( 1 t ) b Bernstein polynomial Probabilistic Multiplexing

  33. Probabilistic Multiplexing X1, …, Xn are independent Boolean random variables with Pr(Xi=1) = t, for 1 ≤ i ≤ n Z0, …, Zn are independent Boolean random variables with Pr(Zi=1)= , for 0 ≤ i ≤ n

  34. A Reconfigurable Architecture Implement different functions by setting the coefficients:

  35. Example Implement

  36. Example Convert to

  37. Example

  38. Non-Polynomial Functions Find a Bernstein polynomial to approximate the function: is minimized. with , such that

  39. Non-Polynomial Functions Example: Gamma correction function. 0.45 f (t) = t Degree 6 Bernstein coefficients are: b0 = 0.0955, b1 = 0.7207, b2 = 0.3476, b3 = 0.9988, b4 = 0.7017, b5 = 0.9695, b6 = 0.9939

  40. Deterministicv.s. StochasticImplementation of Gamma correction function with 10% noise injection. Deterministic implementation:37% pixels with errors > 20% 1% 2% 10% Conventional Implementation Stochastic Implementation: no pixels with errors > 20%! Stochastic Implementation

  41. Comparison with Conventional Hardware Implementation of Image Processing Functions • Number of LUTs in FPGA mapping * The entire ReSC architecture, including Randomizers and De-Randomizers. ** The ReSC Unit by itself.

  42. Comparison with Conventional Software Implementation of Image Processing Functions • Speedup (1024 cycles needed) * Software using math function from ‘Math.h’ ** Software using direct function table lookup

  43. Comparison of Fault Tolerance for Image Processing Functions • Noise is injected in the form of a percentage of bit flips. • Percentage of Output Pixels with ErrorsGreater than 25% The stochastic implementation never produces such errors!

  44. Comparison of Fault Tolerance for Mathematical Functions Sixth-order Maclaurin polynomial approx., 10 bits: sin(x), cos(x), tan(x), arcsin(x), arctan(x), sinh(x), cosh(x), tanh(x), arcsinh(x), exp(x), ln(x+1)

  45. Conclusions • The hardware cost iscomparable. • Stochastic computation is much more error tolerant. • Advantage for applications where large errors are critical but small fluctuationscan be tolerated is dramatic. • (Also some pretty interesting math…) Future Directions • Apply the method at the processor level. • Apply the method at the circuit level (e.g., with PCMOS).

  46. BiologicalProcess [computational]Synthetic Biology Quantities of Different Types ProbabilityDistribution on outcomes

  47. X BiologicalProcess Y é ù X Z with Pr ê ú + X Y ë û [computational]Synthetic Biology fixed

More Related