EE5393, Circuits, Computation, and Biology Computing with Probabilities 1,1,0,0,0,0,1,0 1,1,0,1,0,1,1,1 1,1,0,0,1,0,1,0 a = 6/8 c = 3/8 b = 4/8.

Slides:



Advertisements
Similar presentations
Approximate List- Decoding and Hardness Amplification Valentine Kabanets (SFU) joint work with Russell Impagliazzo and Ragesh Jaiswal (UCSD)
Advertisements

Spread Spectrum Chapter 7.
Spread Spectrum Chapter 7. Spread Spectrum Input is fed into a channel encoder Produces analog signal with narrow bandwidth Signal is further modulated.
Introduction to Digital Systems By Dr. John Abraham UT-Panam.
5/4/2006BAE Analog to Digital (A/D) Conversion An overview of A/D techniques.
ELE 523E COMPUTATIONAL NANOELECTRONICS W7-W8: Probabilistic Computing, 20/10/ /10/2014 FALL 2014 Mustafa Altun Electronics & Communication Engineering.
Exclusive-OR and Exclusive-NOR Gates
Nov. 21, 2006ATS'06 1 Spectral RTL Test Generation for Gate-Level Stuck-at Faults Nitin Yogi and Vishwani D. Agrawal Auburn University, Department of ECE,
Weikang Qian Ph.D. Candidate Electrical & Computer Engineering
Nitin Yogi and Vishwani D. Agrawal Auburn University Auburn, AL 36849
Linearization of Stream Ciphers in Terms of Cellular Automata Amparo Fúster-Sabater Institute of Applied Physics (CSIC) Madrid (Spain)
Xin Li, Weikang Qian, Marc Riedel, Kia Bazargan & David Lilja A Reconfigurable Stochastic Architecture for Highly Reliable Computing Electrical & Computer.
Proof: Synthesize cubes so that cube c k has n − i k literals and cubes c k and c l are disjoint, for any 0 ≤ k < l ≤ λ − 1. Weikang Qian and Marc D. Riedel.
Lecture 4 Measurement Accuracy and Statistical Variation.
Weikang Qian The Synthesis of Stochastic Logic to Perform Multivariate Polynomial Arithmetic Abstract Ph.D. Student, University of Minnesota Marc D. Riedel.
Digital Circuits. Analog and Digital Signals Noise margins in Logic Circuits VMVM.
BIST AND DATA COMPRESSION 1 JTAG COURSE spring 2006 Andrei Otcheretianski.
Sequential Circuit  It is a type of logic circuit whose output depends not only on the present value of its input signals but on the past history of its.
Binary Logic and Gates COE 202 Digital Logic Design Dr. Aiman El-Maleh
Digital Electronics. Introduction to Number Systems & Codes Digital & Analog systems, Numerical representation, Digital number systems, Binary to Decimal.
A comparison between different logic synthesis techniques from the digital switching noise viewpoint G. Boselli, V. Ciriani, V. Liberali G. Trucco Dept.
Y3AR 6 PROJECT By sam knifton. BINARY Binary is basically two number that make a simple equation. These two numbers are 1 and 0 These are some examples.
What is an And Gate? It is a digital circuit that produce logical operations The logical operations are call Boolean logical Boolean operation consist.
EE5393, Circuits, Computation, and Biology Computing with Probabilities 1,1,0,0,0,0,1,0 1,1,0,1,0,1,1,1 1,1,0,0,1,0,1,0 a = 6/8 c = 3/8 b = 4/8.
Linear Algebra. Circuits The circuits in computers and other input devices have inputs, each of which is either a 0 or 1, the output is also 0s and 1s.
1 EG 32 Digital Electronics Thought for the day You learn from your mistakes..... So make as many as you can and you will eventually know everything.
Weikang Qian. Outline Intersection Pattern and the Problem Motivation Solution 2.
Digital Logic Design.
Design of a Reversible Binary Coded Decimal Adder by Using Reversible 4-bit Parallel Adder Babu, H. M. H. Chowdhury, A.R, “Design of a reversible binary.
Marc Riedel – EE5393 The Synthesis of Robust Polynomial Arithmetic with Stochastic Logic Electrical & Computer Engineering University of Minnesota.
Daniel Kroening and Ofer Strichman 1 Decision Procedures An Algorithmic Point of View BDDs.
D_160 / MAPLD Burke 1 Fault Tolerant State Machines Gary Burke, Stephanie Taft Jet Propulsion Laboratory, California Institute of Technology.
Lecture 2 Numbers and number systems. Some material from the last lecture Electronic computers represent information as voltage levels. To make the computer.
ELE 523E COMPUTATIONAL NANOELECTRONICS W8-W9: Probabilistic Computing, 2/11/ /11/2015 FALL 2015 Mustafa Altun Electronics & Communication Engineering.
School of Computer and Communication Engineering, UniMAP Mohd ridzuan mohd nor DKT 122/3 - DIGITAL SYSTEM I Chapter.
Monte Carlo Analysis of Uncertain Digital Circuits Houssain Kettani, Ph.D. Department of Computer Science Jackson State University Jackson, MS
Pseudo-random generators Talk for Amnon ’ s seminar.
Marc Riedel Associate Professor, Electrical and Computer Engineering University of Minnesota ITA – Feb. 14, 2014 (“Singles’ Awareness Day”) Probability.
Stallings, Wireless Communications & Networks, Second Edition, © 2005 Pearson Education, Inc. All rights reserved Spread Spectrum Chapter.
Decoders A decoder is a logic circuit that detects the presence of a specific combination of bits at its input. Two simple decoders that detect the presence.
Decoder Chapter 12 Subject: Digital System Year: 2009.
Prof. Sin-Min Lee Department of Computer Science
INTRO Module 1 Boolean Math
High-Speed Stochastic Circuits Using Synchronous Analog Pulses M
A Deterministic Approach to Stochastic Computation
Polysynchronous Stochastic Circuits M. Hassan Najafi, David J
Combinational Circuits
Lossy Compression of Stochastic Halftones with JBIG2
Hardware Testing and Designing for Testability
M6 Which circuit will have more open-circuit voltage noise across its terminals? 1 k 2 k top bottom they are the same 3 k.
EKT 221 : Digital 2 COUNTERS.
Spread Spectrum Chapter 7.
Summary Half-Adder Basic rules of binary addition are performed by a half adder, which has two binary inputs (A and B) and two binary outputs (Carry out.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
Biological Processes…
Lecture 10: Observers and Kalman Filters
Sum of Absolute Differences Hardware Accelerator
Stream Ciphers Day 18.
Digital Control Systems Waseem Gulsher
For OCR GCSE Computing Unit 1 - Theory
Wireless Networks Fall 2007
Spread Spectrum Chapter 7.
Table 1.1 Powers of Two.
ECE 352 Digital System Fundamentals
Electronics for Physicists
LOGIC Circuits.
Description and Analysis of MULTIPLIERS using LAVA
Instruction execution and ALU
Analog Senior Projects 2019
Binary Logic and Gates COE 202 Digital Logic Design Dr. Aiman El-Maleh
Presentation transcript:

EE5393, Circuits, Computation, and Biology Computing with Probabilities 1,1,0,0,0,0,1,0 1,1,0,1,0,1,1,1 1,1,0,0,1,0,1,0 a = 6/8 c = 3/8 b = 4/8

Sequential Constructs What about complex functions such as tanh, exp, and abs ?

Sequential Constructs

Sensing Applications Median Filter-Based Image Noise Reduction

Sensing Applications Frame Difference-Based Image Segmentation

Sensing Applications Image Contrast Enhancing

Sensing Applications Kernel Density Estimation- Based Image Segmentation

Comparison of Encoding Spectrum of Encoding Binary Radix EncodingStochastic Encoding Binary Radix EncodingStochastic Encoding Circuit AreaLargeSmall Error Tolerance BadGood DelayShortLong (Positional) (Uniform, Long Stream) (Not compact, Long Stream) (Compact, Efficient) (Positional, Weighted) (Uniform)

Future Directions Spectrum of Encoding Binary Radix Encoding (Compact, Positional) Stochastic Encoding (Not compact, Uniform) ? Possible encodings in the middle with the advantages of both?

General Random Bit Generators C probability to be one R If R < C, output a one; If R ≥ C, output a zero. 1,0,1,… Comparator

Types of Random Sources Pseudorandom Number Generator Physical Random Source Linear Feedback Shift Register (expensive) Thermal Noises (cheap)

Challenge with Physical Random Sources cheap Voltage Regulators expensive Suppose many different probabilities are needed: {0.2, 0.78, , 0.43, 0.671, 0.012, 0.82, …}. It is costly to generate them directly. (many expensive constant values required.) expensive C1C1 C2C2

Opportunity with Physical Random Sources cheap expensive 1,1,0,0,0, … 0,1,0,1,0, … 0,0,1,0,1, … Independent Same probability

Solution When we need many different probabilities: {0.2, 0.78, , 0.43, 0.671, 0.012, 0.82, …} Generate a few source probabilities directly from random bit generators. Synthesize combinational logic to generate other probabilities. Probability: Probability of a signal being logical one

Basic Problem Random Bit Generators Logic Circuit q2q2 q1q1 q3q3 q4q4 Set S of Input Probabilities {p 1, p 2 } Other Probabilities Needed Synthesize Logic Circuit? Choose Set S ? … … p1p1 p1p1 p1p1 p2p2 p2p2 p2p2 Set S of Input Probabilities {p 1, p 2 } p1p1 p1p1 p1p1 p2p2 p2p2 p2p2 Independent ( |S| small)

Example Logic Circuit P(x = 1) = 0.4 P(z = 1) = 0.6 1,0,1,1,0,1,0,0,0,00,1,0,0,1,0,1,1,1,1 P(z = 1) = P(x = 0) P(x = 1) = 0.4 P(z = 1) = 0.2 0,1,0,1,0,0,1,1,0,0 0,0,0,1,0,0,1,0,0,0 P(z = 1) = P(x = 1) P(y = 1) 1,0,1,1,0,0,1,0,0,1 P(y = 1) = … …

Generating Decimal Probabilities Logic Circuit q2q2 q1q1 q3q3 q4q4 Arbitrary Decimal Probabilities |S| Small! Choose Set S = {p 1, p 2, p 3 } Found Set S for  |S| = 2  |S| = 1 p1p1 p2p2 p1p1 p2p2 p3p3 p3p3 Independent … … …

Generating Decimal Probabilities Theorem: With S = {0.4, 0.5}, we can synthesize arbitrary decimal output probabilities. Constructive proof. Derived a synthesis algorithm.

Algorithm (Black dots are inverters) × − 0.14 × × −× − 0.4 × − × −× − Example: Synthesize q = from S = {0.4, 0.5} For a probability value with n digits, need at most 3n AND gates.