Hardware Implementation of Simplex Algorithm for Flash ADC Optimization Yuta Toriyama yuta@ee.ucla.edu April 09, 2010.

Slides:



Advertisements
Similar presentations
Outline LP formulation of minimal cost flow problem
Advertisements

Lecture 3 Linear Programming: Tutorial Simplex Method
Standard Minimization Problems with the Dual
Introduction to Neural Networks Computing
Underwater Acoustic MIMO Channel Capacity
Linear Programming (LP) (Chap.29)
Introduction to Linear and Integer Programming
1 Parallel Algorithms II Topics: matrix and graph algorithms.
Trees and BFSs Page 1 The Network Simplex Method Spanning Trees and Basic Feasible Solutions.
Submission May, 2000 Doc: IEEE / 086 Steven Gray, Nokia Slide Brief Overview of Information Theory and Channel Coding Steven D. Gray 1.
Volkan Cevher, Marco F. Duarte, and Richard G. Baraniuk European Signal Processing Conference 2008.
Location Estimation in Sensor Networks Moshe Mishali.
Network Coding Project presentation Communication Theory 16:332:545 Amith Vikram Atin Kumar Jasvinder Singh Vinoo Ganesan.
Computer Algorithms Integer Programming ECE 665 Professor Maciej Ciesielski By DFG.
Monica Garika Chandana Guduru. METHODS TO SOLVE LINEAR SYSTEMS Direct methods Gaussian elimination method LU method for factorization Simplex method of.
1 Lecture 4 Maximal Flow Problems Set Covering Problems.
Assignment Solving System of Linear Equations Using MPI Phạm Trần Vũ.
Feng Lu Chuan Heng Foh, Jianfei Cai and Liang- Tien Chia Information Theory, ISIT IEEE International Symposium on LT Codes Decoding: Design.
LINEAR PROGRAMMING SIMPLEX METHOD.
Task Alloc. In Dist. Embed. Systems Murat Semerci A.Yasin Çitkaya CMPE 511 COMPUTER ARCHITECTURE.
System of Linear Equations Nattee Niparnan. LINEAR EQUATIONS.
Linear Systems Two or more unknown quantities that are related to each other can be described by a “system of equations”. If the equations are linear,
1 Miodrag Bolic ARCHITECTURES FOR EFFICIENT IMPLEMENTATION OF PARTICLE FILTERS Department of Electrical and Computer Engineering Stony Brook University.
Block-LDPC: A Practical LDPC Coding System Design Approach
November 1, 2012 Presented by Marwan M. Alkhweldi Co-authors Natalia A. Schmid and Matthew C. Valenti Distributed Estimation of a Parametric Field Using.
An Optimal Partial Decoding Algorithm for Rateless Codes Valerio Bioglio, Rossano Gaeta, Marco Grangetto, and Matteo Sereno Dipartimento di Informatica.
Matrix Computations ELEC 206 Computer Applications for Electrical Engineers Dr. Ron Hayne.
WOOD 492 MODELLING FOR DECISION SUPPORT Lecture 4-5 LP Formulation Example and Excel Solver.
A Passive Approach to Sensor Network Localization Rahul Biswas and Sebastian Thrun International Conference on Intelligent Robots and Systems 2004 Presented.
StrideBV: Single chip 400G+ packet classification Author: Thilan Ganegedara, Viktor K. Prasanna Publisher: HPSR 2012 Presenter: Chun-Sheng Hsueh Date:
Local Probabilistic Sensitivity Measure By M.J.Kallen March 16 th, 2001.
Spectrum Sensing In Cognitive Radio Networks
Monte Carlo Linear Algebra Techniques and Their Parallelization Ashok Srinivasan Computer Science Florida State University
The minimum cost flow problem. Solving the minimum cost flow problem.
Massive Support Vector Regression (via Row and Column Chunking) David R. Musicant and O.L. Mangasarian NIPS 99 Workshop on Learning With Support Vectors.
GOOD MORNING CLASS! In Operation Research Class, WE MEET AGAIN WITH A TOPIC OF :
Tuesday, March 19 The Network Simplex Method for Solving the Minimum Cost Flow Problem Handouts: Lecture Notes Warning: there is a lot to the network.
1 Two-Phase Simplex Method file Simplex3_AMII_05b_gr Rev. 1.4 by M. Miccio on December 17, 2014 from a presentation at the Fuqua School of Business MIT.
CS4234 Optimiz(s)ation Algorithms L2 – Linear Programming.
Fernando G.S.L. Brandão MSR -> Caltech Faculty Summit 2016
Sridhar Rajagopal Bryan A. Jones and Joseph R. Cavallaro
Matrices When data from a table (or tables) needs to be manipulated, easier to deal with info in form of a matrix. Fresh Soph Jun Sen A B 7 C 1 6.
CLUster TIMing Electronics Part II
296.3:Algorithms in the Real World
Jinseok Choi, Brian L. Evans and *Alan Gatherer
Part 3 Linear Programming
Lap Chi Lau we will only use slides 4 to 19
Hardware Implementation of CTIS Reconstruction Algorithms
Topics in Algorithms Lap Chi Lau.
Prof. Dr. Holger Schlingloff 1,2 Dr. Esteban Pavese 1
Solver & Optimization Problems
The minimum cost flow problem
Linear Programming Dr. T. T. Kachwala.
The Simplex Method The geometric method of solving linear programming problems presented before. The graphical method is useful only for problems involving.
2018/9/16 Distributed Source Coding Using Syndromes (DISCUS): Design and Construction S.Sandeep Pradhan, Kannan Ramchandran IEEE Transactions on Information.
Why network models? Visualize a mathematical model
Progress Report Algorithm Mapping onto Hardware in Simulink – IBOB/ROACH Environment Yuta Toriyama November 19, 2010.
Linear Systems Chapter 3.
Part 3 Linear Programming
Mihir Awatramani Lakshmi kiran Tondehal Xinying Wang Y. Ravi Chandra
Solving Systems of non-linear Equations
The Simplex Method The geometric method of solving linear programming problems presented before. The graphical method is useful only for problems involving.
Kramer’s (a.k.a Cramer’s) Rule
D1 Discrete Mathematics
Chapter 5 Transportation, Assignment, and Transshipment Problems
Flow Feasibility Problems
ICS 252 Introduction to Computer Design
Part 3 Linear Programming
Prepared by Po-Chuan on 2016/05/24
“Easy” Integer Programming Problems: Network Flow Problems
Presentation transcript:

Hardware Implementation of Simplex Algorithm for Flash ADC Optimization Yuta Toriyama yuta@ee.ucla.edu April 09, 2010

Outline Probabilistic Flash ADC Problem Representing the Flash ADC as a network graph Linear Program & Simplex Algorithm Hardware Implementation Conclusion

Project Goal Goal: Hardware Implementation Simplex Algorithm for use with Flash ADC optimization Accompanies design of ADC for low-power bio-medical applications which could allow for non-uniform quantization Need small devices and/or lower supply voltages Problem: The relative process variability increases IC design today is largely application driven. The applications enforce constraints which thereby influence our design methodologies. Example applications....

Flash ADC Yield Yield: % that measures the proportion of ADCs with correct functionality. Decision levels from V0 to VN are monotonically increasing. 1 1 1 1

Flash ADC Yield Assume a Gaussian pdf: & Solid line – calculated yield X – 10,000 pt. Monte Carlo

Probabilistic Approach Problem: Choose the active comparators Turn off power to non- working comparators Constraints: Maximize SNR Requirements: Threshold values and indexes of chosen comparators must be monotonically increasing Single 1 output to decoder 1 X 1 1 X Logic Encoder X X

Network Formulation of ADC 1 2 3 4 5 6 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 = A nodes arcs

Cost Vector Formulation Calculate the noise power contribution of each arc: Vj Ck = for all k = {1,2,Numarcs} Vi di = 4 Allows for the inclusion of non-uniform distributions

LP Formulation maximize cTx s.t. Ax = [1 0 0 . . .-1]T 0 ≤ xi ≤ 1, i Optimal solution satisfies xi  {0,1} Arcs with xi=1 identify the path from V1 to VN that maximizes the SNR for a given input pdf 1 2 3 4 5 6 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 = A nodes arcs

Simplex Algorithm Simplex algorithm solves the LP very quickly even for large matrices Main operation is series of Gaussian eliminations Things to note: initial matrix setup finding an initial basic feasible solution 1 2 3 4 5 6 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 = A nodes arcs

Simplex Algorithm Simplex algorithm solves the LP very quickly even for large matrices Main operation is series of Gaussian eliminations Things to note: initial matrix setup finding an initial basic feasible solution 1 2 3 4 5 6 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 = A nodes arcs

Simplex Algorithm Simplex algorithm solves the LP very quickly even for large matrices Main operation is series of Gaussian eliminations Things to note: initial matrix setup finding an initial basic feasible solution 1 2 3 4 5 6 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 = A nodes arcs

Hardware Implementation Realized on IBOB (?) Xilinx Virtex-II Pro 2VP50 FPGA Simulink Xilinx Blockset Given: Decision thresholds of each comparator (Cutoff threshold of arc cost) Needs to: Create the A matrix Create the cost vector Run the Simplex Algorithm Main Issue: Resource Usage

Resource Usage Creating the cost vector requires many additions and multiplications Complexity The matrix we want is huge: N=210 comparators = number of rows Cost cutoff to limit number of columns

Storing the Big Matrix MATLAB simulations of step-by-step simplex algorithm to observe characteristics of matrix Special Characteristics we need to exploit Sparse Only non-zero elements are +1 / -1 Don’t need the xi ≤ 1 constraint maximize cTx Try to balance implementation feasibility and resource usage s.t. Ax = [1 0 0 . . .-1]T 0 ≤ xi ≤ 1, i Store in a compressed format (x, y, sign)

Work in Progress Creation of the A matrix and cost vector have been implemented and put on FPGA To be done: Simplex Algorithm Optimizations (?) Wordlength Timing The Simplex Algorithm is a series of Gaussian eliminations Need to come up with hardware design, given the way the matrix is stored in memory

Conclusions By modeling the system as a network graph, the maximum SNR can be determined using the Simplex method Hardware implementation seems feasible, though ASIC realization is probably impractical

References Bayliss, S.; Bouganis, C.; Constantinides, G. A.; Luk, W.; , "An FPGA implementation of the simplex algorithm," Field Programmable Technology, 2006. FPT 2006. IEEE International Conference on , vol., no., pp.49-56, Dec. 2006. Schutz, B.; Klindworth, A.; , "A VLSI-chip for a hardware-accelerator for the simplex-method," ASIC Conference and Exhibit, 1992., Proceedings of Fifth Annual IEEE International , vol., no., pp.553-556, 21-25 Sep 1992. Stathis, P.; Cheresiz, D.; Vassiliadis, S.; Juurlink, B.; , "Sparse matrix transpose unit," Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International , vol., no., pp. 90, 26-30 April 2004. Prasanna, V.K.; Morris, G.R.; , "Sparse Matrix Computations on Reconfigurable Hardware," Computer , vol.40, no.3, pp.58-64, March 2007.