Using the Minimum Set of Input Combinations to Minimize the Area of Local Routing Networks in Logic Clusters. FPGAs. Andy Ye Ryerson University
|
|
- Claude Todd
- 5 years ago
- Views:
Transcription
1 Usng the Mnmum Set of Input Combnatons to Mnmze the Area of Local Routng Networks n Logc Clusters Contanng Logcally Equvalent I/Os n FPGAs Andy Ye Ryerson Unversty
2 Mnmum-area IIBs how to mnmze the area of a logc cluster wthout losng any functonalty?
3 FPGA Logc Clusters A Collecton of Look-Up Tables and Flp-Flops Share a Common Set of Inputs and Outputs Logcally Equvalent Logc Cluster Inputs Any nput sgnal can enter the cluster through any of the logc cluster nput pns Logcally Equvalent Logc Cluster Outputs Any output sgnal can ext the cluster through any of the logc cluster output pns
4 Beneft and Cost of Logc Equvalency Beneft: Reduces the Global Routng Area Increases the flexblty of global routng network Less routng tracks Less global routng area Cost: Increases Logc Cluster Area Needs specalzed local routng networks n every logc cluster Local routng networks cost area What s a mnmum local routng network desgn that can acheve full logc equvalency?
5 Beneft: Routng Track Reducton Consder a set of logc clusters each wth 2 output pns and 3 nput pns Logcally Non-Equvalent I/O Pns Logcally Equvalent I/O Pns
6 Cost: Local Routng Networks A Fully Connected Local Routng Network I 1 I 2 LUT O 1 I 3 I 4 I 5 LUT O 2 I 6
7 Less Than Full Connectvty? Yes! A Smple Example [Betz and Rose 98] Logc clusters contanng just one LUT each The number of nputs per cluster = the number of LUT nputs Can completely elmnate the local routng network Key Mechansm that Enables the Elmnaton of the Local Routng Network LUT reconfguraton reconfgure a LUT as the logc cluster nput assgnment changes
8 Logc Equvalency Through LUT Reconfguraton 1 LUT Cluster I 1 L 1 I 1 L 1 I 2 I 3 L 2 L 3 LUT O I 2 I 3 L 2 L 3 LUT O L 4 I 4 L 4 I 4 Logcal Equvalency Through Local Routng Network Logcal Equvalency Through LUT Reconfguraton
9 Logc Equvalency Through LUT Reconfguraton 1 LUT Cluster L1 L2 L3 L4 O f f f f f f f f f f f f f f f f15 LUT Confg. for Connecton to Cluster Input 1 L1 L2 L3 L4 O f f f f f f f f f f f f f f f f15 LUT Confg. for Connecton to Cluster Input 2 L1 L2 L3 L4O f f f f f f f f f f f f f f f f15 LUT Confg. for Connecton to Cluster Input 3 L1 L2 L3 L4 O f f f f f f f f f f f f f f f f15 LUT Confg. for Connecton to Cluster Input 4
10 Queston Addressed n Ths Research How about clusters wth more than 1 LUT? F 1 BLE Basc Logc Element F 2 I 1 LUT 1 O 1 I 2 I 3 I 4 I 5 LUT 2 O 2 I 6
11 Functons that can be Generated by a Local Routng Network A Logc Cluster wth k-nput LUT I logc cluster nputs N feedbacks Fx LUT Confguraton Reconfgure the Local Routng Network Maxmum Number of Functons that the LUT can Generate (I + N) k Many of these functons can be made redundant through LUT reconfguraton.
12 An Example k = 2 N = 2 I = 2: (2+2) 2 = 16 functons F 1 F 2 I 1 O 1 BLE 1 Local Routng Network O 2 BLE 2 I 2 f(f1f1) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f2f2) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i1i1) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i2i2)
13 Local Routng Network 4:1 Muxes f(f1f1) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f2f2) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i1i1) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i2i2) F 1 BLE 1 O 1 F 2 I 1 BLE 2 O 2 I 2
14 Commutatve Property of LUT Inputs Gven a k-input LUT confgured wth the functon: Connect the LUT to k ndependent Boolean nputs: ) ( 2 1 k a a a f k 2 1 There exsts another functon such that: = ) ( ' k y y y x x x f x y ' f ) ( k y y y x x x f y x k 1 2
15 Commutatve Property Contnued L1 L2 L3 L4 O f f f f f f f f f f f f f f f f15 Before Exchangng L1 and L3 L3 L2 L1 L4O f f f f f f f f f f f f f f f f15 After Exchangng L1 and L3
16 Commutatve Property Contnued k = 2 N = 2 I = 2: 16 functons => 10 functons F 1 F 2 I 1 O 1 BLE 1 Local Routng Network O 2 BLE 2 I 2 f(f1f1) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f2f2) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i1i1) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i2i2)
17 Local Routng Network 4:1 Muxes f(f1f1) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f2f2) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i1i1) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i2i2) F 1 BLE 1 O 1 F 2 I 1 BLE 2 O 2 I 2
18 Duplcated-Constant Input Equvalence Gven a k-input LUT confgured wth the functon: Connect the LUT to k ndependent Boolean nputs: ) ( 2 1 k a a a f k 2 1 If x = y then here exsts another functon such that: = ' f ) ( k y y y x x x f y x k 1 2 ) ( ' k y y y x x x f x
19 Duplcated-Constant Input Equvalence Contnued L1 L2 L3 L4 O f f f f f f f f A Three Input Boolean Functon L1 L2 L3 L4 O f f f f x x x x x x x x f f f f7 Duplcated Input Implementaton L1 L2 L3 L4 O f f f f f f f f x x x x x x x x Constant Input ('0') Implementaton
20 Duplcated-Constant Input Equvalence Contnued k = 2 N = 2 I = 2: 16 functons => 10 functons F 1 F 2 I 1 O 1 BLE 1 Local Routng Network O 2 BLE 2 I 2 f(f1f1) f(f10) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f2f2) f(f20) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i1i1) f(i10) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i2i2) f(i20)
21 Local Routng Network 4:1 Muxes f(f10) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f20) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i10) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(0i2) F BLE 1 O 1 F 2 I BLE 2 O 2 I 2
22 Constant-New Input Equvalence (Shannon Decomposton) Gven a k-input LUT confgured wth the functon: f a a a ) ( 1 2 k Connect the LUT to k ndependent Boolean nputs: 2 1 k If x = 0 then here exsts another functon f ' such that: = f '( 2 1 x z x+ 1 x+ 2 f ( 1 2 x 1 0 x+ 1 x+ 2 k ) where z s a new arbtrary nput 1 k )
23 Constant-New Input Equvalence Contnued L1 L2 L3 L4 O f f f f f f f f A Three Input Boolean Functon L1 L2 L3 L4 O f f f f x x x x x x x x f f f f7 Duplcated Input Implementaton L1 L2 L3 L4 O f f f f f f f f x x x x x x x x Constant Input ('0') Implementaton L1 L2 L3 L4 O f f f f f f f f f f f f f f f f7 New Input Implementaton
24 Constant-New Input Equvalence Contnued k = 2 N = 2 I = 2: 16 functons => 10 => 6 functons F 1 F 2 I 1 O 1 BLE 1 Local Routng Network O 2 BLE 2 I 2 f(f10) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f20) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i10) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i20)
25 Local Routng Network 3:1 Muxes f(f10) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f20) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i10) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i20) F 1 BLE 1 O 1 F 2 I 1 BLE 2 O 2 I 2
26 Summary Functon Reducton for Local Routng Network Wthout LUT Reconfguraton ( I + N ) Functons k n Commutatve Property Functons ( n = I + N ) j = 1 j k n Duplcated-Constant Input Equvalency Functons j = 1 j n Constant-New Input Equvalency Functons k What s the effect of functon reducton on the desgn of the local routng network? k
27 Summary Local Routng Network Desgn f(f1f1) f(f1f2) f(f1i1) f(f1i2) f(f2f1) f(f2f2) f(f2i1) f(f2i2) f(i1f1) f(i1f2) f(i1i1) f(i1i2) f(i2f1) f(i2f2) f(i2i1) f(i2i2) LUT Input 1 = {F1 F2 I1} LUT Input 2 = {F2 I1 I2} 3:1 Multplexers nstead of 4:1 Multplexers In General: From (I+N):1 Multplexers to (I+N-k+1):1 Multplexers
28 A More Complex Example k = 4 N = 2 I = 6: 4096 Functons => 70 Functons 8:1 Multplexers => 5:1 Multplexers Reducton n Fanout F 1 F 1 F 2 F 2 I 1 LUT 1 O O 1 I 1 LUT 1 O O 1 I 2 I 2 I 3 I 3 I 4 LUT 2 O 2 I 4 LUT 2 O 2 I 5 I 5 I 6 I 6
29 Local Routng Network Area Reducton k = 4 70% Mn. Mem. Two Level Mn. Level 60% 50% % Reducto on 40% 30% 20% 10% 0% N
30 Local Routng Network Area Reducton k = 7 80% Mn. Mem. Two Level Mn. Level 70% 60% % Reducto on 50% 40% 30% 20% 10% 0% N
31 Logc Cluster Area Reducton k = 4 % Reducto on 24% 22% 20% 18% 16% 14% 12% 10% 8% 6% 4% 2% Mn. Mem. Two Level Mn. Level N
32 Logc Cluster Area Reducton k = 7 % Reducto on 24% 22% 20% 18% 16% 14% 12% 10% 8% 6% 4% 2% Mn. Mem. Two Level Mn. Level N
33 Fanout Reducton 80% k=4 k=5 k=6 k=7 % Reducto on 70% 60% 50% 40% 30% 20% 10% 0% N
34 Fanout Adjusted Logc Cluster Area Reducton N = 6 k I Trad. Mn. Mem Mn. Level Two Level New % % % Trad. New Trad. New Reduc. Reduc. Reduc % % % % % % % % % % % %
35 Conclusons Examned the relatonshp between logc equvalency and LUT reconfguraton. LUT reconfguraton can reduce mux sze from (I+N):1 to (I+N-k+1):1. (I+N-k+1):1 s the mnmum sze requred to retan logc equvalency (proved n paper TVLSI Jan 2010). Local Routng Network Area Reducton 3.7%-72% Logc Cluster Area Reducton 2.9%-25% Fanout Reducton 5%-75% Fanout Adjust Logc Cluster Area Reducton (N=6) 6.2% (k=7 Mn. Mem) 12.4% (k=6 Mn. Level)
36 Questons?
37 Future Work 1: Based on [Lemeux01] Proposed a sparse local routng network N=6 (k=4-7) => over 50% reducton n local routng network area compare to the baselne (full connectvty) Ths Work => baselne can be mproved by 8.5%-13% Ddn t study smaller values of N n detal (e.g. N=4) Ddn t study smaller values of N n detal (e.g. N=4) Ths Work => N=4: baselne can be mproved by 24% (k=6 and k=7) Is sparse local routng network stll more area effcent than the mproved baselne archtecture at N=4? Overall s the sparse archtecture stll more area effcent than the mproved baselne archtecture when all values of N are consdered?
38 Future Work 2: Based on [Feng08] Actel Logc Cluster => 8 4-nput LUTs 32 logc cluster nputs 8:1 mux per LUT nput. Sacrfce logc equvalency and local feedbacks for larger logc cluster sze Justfcaton: 8:1 mux can only be used to construct VPR type logc clusters wth 2 4-nput LUTs only; 2 4-nput LUTs are not effcent Ths work: 8:1 mux can be used to construct logc clusters wth 3 4-nput LUTs wth full feedbacks or 4 4- nput LUTs wthout feedbacks => VPR style clusters become compettve agan Need further expermental studes
39 Impact on Prevous Work [Lemeux01] N = 6 (k=4-7) => 50% reducton n local routng network area compare to full connectvty as baselne Our Work => baselne can be mproved by 8.5%-13% Ddn t study smaller values of N n detal (e.g. N=4) Our Work => N=4: baselne can be mproved by 24% (k=6 and k=7) How much sparse local routng network can mprove for N = 4 (probably much less than 50% as observed for N = 6)? tghtly connected LUTs as an alternatve? Fgure 4 needs update N=2 k=7 => 35.8% reducton n local routng network area for baselne
40 Future Work: Impact on Prevous Work [Lemeux01] Proposed a sparse local routng network N=6 (k=4-7) => over 50% reducton n local routng network area compare to the baselne (full connectvty) Our Work => baselne can be mproved by 8.5%-13% Ddn t study smaller values of N n detal (e.g. N=4) Ddn t study smaller values of N n detal (e.g. N=4) Our Work => N=4: baselne can be mproved by 24% (k=6 and k=7) Is sparse local routng network stll more area effcent than the mproved baselne archtecture at N=4? Overall s the sparse archtecture more area effcent than the baselne archtecture when all values of N are consdered? N=6 => tghtly connected LUTs as an alternatve?
Module 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur
Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:
More informationLinear Feature Engineering 11
Lnear Feature Engneerng 11 2 Least-Squares 2.1 Smple least-squares Consder the followng dataset. We have a bunch of nputs x and correspondng outputs y. The partcular values n ths dataset are x y 0.23 0.19
More informationClock-Gating and Its Application to Low Power Design of Sequential Circuits
Clock-Gatng and Its Applcaton to Low Power Desgn of Sequental Crcuts ng WU Department of Electrcal Engneerng-Systems, Unversty of Southern Calforna Los Angeles, CA 989, USA, Phone: (23)74-448 Massoud PEDRAM
More informationLecture Notes on Linear Regression
Lecture Notes on Lnear Regresson Feng L fl@sdueducn Shandong Unversty, Chna Lnear Regresson Problem In regresson problem, we am at predct a contnuous target value gven an nput feature vector We assume
More informationExhaustive Search for the Binary Sequences of Length 2047 and 4095 with Ideal Autocorrelation
Exhaustve Search for the Bnary Sequences of Length 047 and 4095 wth Ideal Autocorrelaton 003. 5. 4. Seok-Yong Jn and Hong-Yeop Song. Yonse Unversty Contents Introducton Background theory Ideal autocorrelaton
More informationCalculation of time complexity (3%)
Problem 1. (30%) Calculaton of tme complexty (3%) Gven n ctes, usng exhaust search to see every result takes O(n!). Calculaton of tme needed to solve the problem (2%) 40 ctes:40! dfferent tours 40 add
More informationEstimating Delays. Gate Delay Model. Gate Delay. Effort Delay. Computing Logical Effort. Logical Effort
Estmatng Delas Would be nce to have a back of the envelope method for szng gates for speed Logcal Effort ook b Sutherland, Sproull, Harrs Chapter s on our web page Gate Dela Model Frst, normalze a model
More informationNUMERICAL DIFFERENTIATION
NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the
More informationEstimation: Part 2. Chapter GREG estimation
Chapter 9 Estmaton: Part 2 9. GREG estmaton In Chapter 8, we have seen that the regresson estmator s an effcent estmator when there s a lnear relatonshp between y and x. In ths chapter, we generalzed the
More informationLogical Effort of Higher Valency Adders
Logcal Effort of gher Valency Adders Davd arrs arvey Mudd College E. Twelfth St. Claremont, CA Davd_arrs@hmc.edu Abstract gher valency parallel prefx adders reduce the number of logc levels at the expense
More informationModule 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
More informationLecture 4: Adders. Computer Systems Laboratory Stanford University
Lecture 4: Adders Computer Systems Laboratory Stanford Unversty horowtz@stanford.edu Copyrght 2004 by Mark Horowtz (w/ Fgures from Hgh-Performance Mcroprocessor Desgn IEEE And Fgures from Bora Nkolc 1
More informationDecision Diagrams Derivatives
Decson Dagrams Dervatves Logc Crcuts Desgn Semnars WS2010/2011, Lecture 3 Ing. Petr Fšer, Ph.D. Department of Dgtal Desgn Faculty of Informaton Technology Czech Techncal Unversty n Prague Evropský socální
More informationEdge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationNeural networks. Nuno Vasconcelos ECE Department, UCSD
Neural networs Nuno Vasconcelos ECE Department, UCSD Classfcaton a classfcaton problem has two types of varables e.g. X - vector of observatons (features) n the world Y - state (class) of the world x X
More informationBoostrapaggregating (Bagging)
Boostrapaggregatng (Baggng) An ensemble meta-algorthm desgned to mprove the stablty and accuracy of machne learnng algorthms Can be used n both regresson and classfcaton Reduces varance and helps to avod
More informationVQ widely used in coding speech, image, and video
at Scalar quantzers are specal cases of vector quantzers (VQ): they are constraned to look at one sample at a tme (memoryless) VQ does not have such constrant better RD perfomance expected Source codng
More informationLecture 10: May 6, 2013
TTIC/CMSC 31150 Mathematcal Toolkt Sprng 013 Madhur Tulsan Lecture 10: May 6, 013 Scrbe: Wenje Luo In today s lecture, we manly talked about random walk on graphs and ntroduce the concept of graph expander,
More informationThe Second Anti-Mathima on Game Theory
The Second Ant-Mathma on Game Theory Ath. Kehagas December 1 2006 1 Introducton In ths note we wll examne the noton of game equlbrum for three types of games 1. 2-player 2-acton zero-sum games 2. 2-player
More informationSolutions to exam in SF1811 Optimization, Jan 14, 2015
Solutons to exam n SF8 Optmzaton, Jan 4, 25 3 3 O------O -4 \ / \ / The network: \/ where all lnks go from left to rght. /\ / \ / \ 6 O------O -5 2 4.(a) Let x = ( x 3, x 4, x 23, x 24 ) T, where the varable
More informationFor now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results.
Neural Networks : Dervaton compled by Alvn Wan from Professor Jtendra Malk s lecture Ths type of computaton s called deep learnng and s the most popular method for many problems, such as computer vson
More informationInterconnect Optimization for Deep-Submicron and Giga-Hertz ICs
Interconnect Optmzaton for Deep-Submcron and Gga-Hertz ICs Le He http://cadlab.cs.ucla.edu/~hele UCLA Computer Scence Department Los Angeles, CA 90095 Outlne Background and overvew LR-based STIS optmzaton
More informationIV. Performance Optimization
IV. Performance Optmzaton A. Steepest descent algorthm defnton how to set up bounds on learnng rate mnmzaton n a lne (varyng learnng rate) momentum learnng examples B. Newton s method defnton Gauss-Newton
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationTOPICS MULTIPLIERLESS FILTER DESIGN ELEMENTARY SCHOOL ALGORITHM MULTIPLICATION
1 2 MULTIPLIERLESS FILTER DESIGN Realzaton of flters wthout full-fledged multplers Some sldes based on support materal by W. Wolf for hs book Modern VLSI Desgn, 3 rd edton. Partly based on followng papers:
More informationStanford University CS254: Computational Complexity Notes 7 Luca Trevisan January 29, Notes for Lecture 7
Stanford Unversty CS54: Computatonal Complexty Notes 7 Luca Trevsan January 9, 014 Notes for Lecture 7 1 Approxmate Countng wt an N oracle We complete te proof of te followng result: Teorem 1 For every
More informationLecture 8: Time & Clocks. CDK: Sections TVS: Sections
Lecture 8: Tme & Clocks CDK: Sectons 11.1 11.4 TVS: Sectons 6.1 6.2 Topcs Synchronzaton Logcal tme (Lamport) Vector clocks We assume there are benefts from havng dfferent systems n a network able to agree
More informationEffective Power Optimization combining Placement, Sizing, and Multi-Vt techniques
Effectve Power Optmzaton combnng Placement, Szng, and Mult-Vt technques Tao Luo, Davd Newmark*, and Davd Z Pan Department of Electrcal and Computer Engneerng, Unversty of Texas at Austn *Advanced Mcro
More informationDurban Watson for Testing the Lack-of-Fit of Polynomial Regression Models without Replications
Durban Watson for Testng the Lack-of-Ft of Polynomal Regresson Models wthout Replcatons Ruba A. Alyaf, Maha A. Omar, Abdullah A. Al-Shha ralyaf@ksu.edu.sa, maomar@ksu.edu.sa, aalshha@ksu.edu.sa Department
More informationDesign and Optimization of Fuzzy Controller for Inverse Pendulum System Using Genetic Algorithm
Desgn and Optmzaton of Fuzzy Controller for Inverse Pendulum System Usng Genetc Algorthm H. Mehraban A. Ashoor Unversty of Tehran Unversty of Tehran h.mehraban@ece.ut.ac.r a.ashoor@ece.ut.ac.r Abstract:
More informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More informationLINEAR TRANSFORMATION OF BINARY DECISION DIAGRAMS TROUGH SPECTRAL DOMAIN
LINEAR TRANSFORMATION OF BINARY DECISION DIAGRAMS TROUGH SPECTRAL DOMAIN Mlena Stankovc, Suzana Stokovc 2 Faculty of Electronc Engneerng, Unversty of Ns, A Medvedeva 4, 8 Ns, SERBIA, mstankovc@elfaknacyu,
More informationSuppose that there s a measured wndow of data fff k () ; :::; ff k g of a sze w, measured dscretely wth varable dscretzaton step. It s convenent to pl
RECURSIVE SPLINE INTERPOLATION METHOD FOR REAL TIME ENGINE CONTROL APPLICATIONS A. Stotsky Volvo Car Corporaton Engne Desgn and Development Dept. 97542, HA1N, SE- 405 31 Gothenburg Sweden. Emal: astotsky@volvocars.com
More informationNote 10. Modeling and Simulation of Dynamic Systems
Lecture Notes of ME 475: Introducton to Mechatroncs Note 0 Modelng and Smulaton of Dynamc Systems Department of Mechancal Engneerng, Unversty Of Saskatchewan, 57 Campus Drve, Saskatoon, SK S7N 5A9, Canada
More informationOn the Multicriteria Integer Network Flow Problem
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 5, No 2 Sofa 2005 On the Multcrtera Integer Network Flow Problem Vassl Vasslev, Marana Nkolova, Maryana Vassleva Insttute of
More informationAn Integrated OR/CP Method for Planning and Scheduling
An Integrated OR/CP Method for Plannng and Schedulng John Hooer Carnege Mellon Unversty IT Unversty of Copenhagen June 2005 The Problem Allocate tass to facltes. Schedule tass assgned to each faclty. Subect
More informationPlanning and Scheduling to Minimize Makespan & Tardiness. John Hooker Carnegie Mellon University September 2006
Plannng and Schedulng to Mnmze Makespan & ardness John Hooker Carnege Mellon Unversty September 2006 he Problem Gven a set of tasks, each wth a deadlne 2 he Problem Gven a set of tasks, each wth a deadlne
More informationCHAPTER-5 INFORMATION MEASURE OF FUZZY MATRIX AND FUZZY BINARY RELATION
CAPTER- INFORMATION MEASURE OF FUZZY MATRI AN FUZZY BINARY RELATION Introducton The basc concept of the fuzz matr theor s ver smple and can be appled to socal and natural stuatons A branch of fuzz matr
More informationCommunication with AWGN Interference
Communcaton wth AWG Interference m {m } {p(m } Modulator s {s } r=s+n Recever ˆm AWG n m s a dscrete random varable(rv whch takes m wth probablty p(m. Modulator maps each m nto a waveform sgnal s m=m
More informationA New Design of Multiplier using Modified Booth Algorithm and Reversible Gate Logic
Internatonal Journal of Computer Applcatons Technology and Research A New Desgn of Multpler usng Modfed Booth Algorthm and Reversble Gate Logc K.Nagarjun Department of ECE Vardhaman College of Engneerng,
More informationTHE ARIMOTO-BLAHUT ALGORITHM FOR COMPUTATION OF CHANNEL CAPACITY. William A. Pearlman. References: S. Arimoto - IEEE Trans. Inform. Thy., Jan.
THE ARIMOTO-BLAHUT ALGORITHM FOR COMPUTATION OF CHANNEL CAPACITY Wllam A. Pearlman 2002 References: S. Armoto - IEEE Trans. Inform. Thy., Jan. 1972 R. Blahut - IEEE Trans. Inform. Thy., July 1972 Recall
More informationCSE4210 Architecture and Hardware for DSP
4210 Archtecture and Hardware for DSP Lecture 1 Introducton & Number systems Admnstratve Stuff 4210 Archtecture and Hardware for DSP Text: VLSI Dgtal Sgnal Processng Systems: Desgn and Implementaton. K.
More informationApproximate Smallest Enclosing Balls
Chapter 5 Approxmate Smallest Enclosng Balls 5. Boundng Volumes A boundng volume for a set S R d s a superset of S wth a smple shape, for example a box, a ball, or an ellpsod. Fgure 5.: Boundng boxes Q(P
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationIntra-Domain Traffic Engineering
Intra-Doman Traffc Engneerng Traffc Engneerng (TE) MPLS and traffc engneerng (wll go over very brefly) traffc engneerng as networ-wde optmzaton problem TE through ln weght assgnments Traffc Matrx Estmaton
More informationFE REVIEW OPERATIONAL AMPLIFIERS (OP-AMPS)( ) 8/25/2010
FE REVEW OPERATONAL AMPLFERS (OP-AMPS)( ) 1 The Op-amp 2 An op-amp has two nputs and one output. Note the op-amp below. The termnal labeled l wth the (-) sgn s the nvertng nput and the nput labeled wth
More informationGrover s Algorithm + Quantum Zeno Effect + Vaidman
Grover s Algorthm + Quantum Zeno Effect + Vadman CS 294-2 Bomb 10/12/04 Fall 2004 Lecture 11 Grover s algorthm Recall that Grover s algorthm for searchng over a space of sze wors as follows: consder the
More informationLecture 3: Shannon s Theorem
CSE 533: Error-Correctng Codes (Autumn 006 Lecture 3: Shannon s Theorem October 9, 006 Lecturer: Venkatesan Guruswam Scrbe: Wdad Machmouch 1 Communcaton Model The communcaton model we are usng conssts
More informationGeneralized Linear Methods
Generalzed Lnear Methods 1 Introducton In the Ensemble Methods the general dea s that usng a combnaton of several weak learner one could make a better learner. More formally, assume that we have a set
More informationCS286r Assign One. Answer Key
CS286r Assgn One Answer Key 1 Game theory 1.1 1.1.1 Let off-equlbrum strateges also be that people contnue to play n Nash equlbrum. Devatng from any Nash equlbrum s a weakly domnated strategy. That s,
More informationAdders. Today: Adders. EE M216A.:. Fall Prof. Dejan Marković Lecture 9. Basic terminology. Adder building blocks
EE M216.:. Fall 21 Lecture 9 dders Prof. Dejan Markovć ee216a@gmal.com Today: dders asc termnology dder buldng blocks asc adder topologes Lnear adders (n < 16) Fast parallel adders (n > 16) Some examples
More informationHongyi Miao, College of Science, Nanjing Forestry University, Nanjing ,China. (Received 20 June 2013, accepted 11 March 2014) I)ϕ (k)
ISSN 1749-3889 (prnt), 1749-3897 (onlne) Internatonal Journal of Nonlnear Scence Vol.17(2014) No.2,pp.188-192 Modfed Block Jacob-Davdson Method for Solvng Large Sparse Egenproblems Hongy Mao, College of
More informationLecture 14 (03/27/18). Channels. Decoding. Preview of the Capacity Theorem.
Lecture 14 (03/27/18). Channels. Decodng. Prevew of the Capacty Theorem. A. Barg The concept of a communcaton channel n nformaton theory s an abstracton for transmttng dgtal (and analog) nformaton from
More information8/25/17. Data Modeling. Data Modeling. Data Modeling. Patrice Koehl Department of Biological Sciences National University of Singapore
8/5/17 Data Modelng Patrce Koehl Department of Bologcal Scences atonal Unversty of Sngapore http://www.cs.ucdavs.edu/~koehl/teachng/bl59 koehl@cs.ucdavs.edu Data Modelng Ø Data Modelng: least squares Ø
More informationOn balancing multiple video streams with distributed QoS control in mobile communications
On balancng multple vdeo streams wth dstrbuted QoS control n moble communcatons Arjen van der Schaaf, José Angel Lso Arellano, and R. (Inald) L. Lagendjk TU Delft, Mekelweg 4, 68 CD Delft, The Netherlands
More informationStatistics for Business and Economics
Statstcs for Busness and Economcs Chapter 11 Smple Regresson Copyrght 010 Pearson Educaton, Inc. Publshng as Prentce Hall Ch. 11-1 11.1 Overvew of Lnear Models n An equaton can be ft to show the best lnear
More informationSingular Value Decomposition: Theory and Applications
Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real
More informationLecture 10 Support Vector Machines. Oct
Lecture 10 Support Vector Machnes Oct - 20-2008 Lnear Separators Whch of the lnear separators s optmal? Concept of Margn Recall that n Perceptron, we learned that the convergence rate of the Perceptron
More informationResource Allocation with a Budget Constraint for Computing Independent Tasks in the Cloud
Resource Allocaton wth a Budget Constrant for Computng Independent Tasks n the Cloud Wemng Sh and Bo Hong School of Electrcal and Computer Engneerng Georga Insttute of Technology, USA 2nd IEEE Internatonal
More informationFPGA Implementation of Pipelined CORDIC Sine Cosine Digital Wave Generator
FPGA Implementaton of Ppelned CORDIC Sne Cosne Dgtal Wave Generator Navdeep Prashar 1 and Balwnder Sngh 1- Acadmc and Consultancy Servces Dvson, Centre for Development of Advanced Computng(C-DAC, Mohal,
More informationAn Interactive Optimisation Tool for Allocation Problems
An Interactve Optmsaton ool for Allocaton Problems Fredr Bonäs, Joam Westerlund and apo Westerlund Process Desgn Laboratory, Faculty of echnology, Åbo Aadem Unversty, uru 20500, Fnland hs paper presents
More informationCSE 546 Midterm Exam, Fall 2014(with Solution)
CSE 546 Mdterm Exam, Fall 014(wth Soluton) 1. Personal nfo: Name: UW NetID: Student ID:. There should be 14 numbered pages n ths exam (ncludng ths cover sheet). 3. You can use any materal you brought:
More informationLogic effort and gate sizing
EEN454 Dgtal Integrated rcut Desgn Logc effort and gate szng EEN 454 Introducton hp desgners face a bewlderng arra of choces What s the best crcut topolog for a functon? How man stages of logc gve least
More information2E Pattern Recognition Solutions to Introduction to Pattern Recognition, Chapter 2: Bayesian pattern classification
E395 - Pattern Recognton Solutons to Introducton to Pattern Recognton, Chapter : Bayesan pattern classfcaton Preface Ths document s a soluton manual for selected exercses from Introducton to Pattern Recognton
More informationErrors for Linear Systems
Errors for Lnear Systems When we solve a lnear system Ax b we often do not know A and b exactly, but have only approxmatons  and ˆb avalable. Then the best thng we can do s to solve ˆx ˆb exactly whch
More informationGlobal Optimization of Bilinear Generalized Disjunctive Programs
Global Optmzaton o Blnear Generalzed Dsunctve Programs Juan Pablo Ruz Ignaco E. Grossmann Department o Chemcal Engneerng Center or Advanced Process Decson-mang Unversty Pttsburgh, PA 15213 1 Non-Convex
More informationMDL-Based Unsupervised Attribute Ranking
MDL-Based Unsupervsed Attrbute Rankng Zdravko Markov Computer Scence Department Central Connectcut State Unversty New Brtan, CT 06050, USA http://www.cs.ccsu.edu/~markov/ markovz@ccsu.edu MDL-Based Unsupervsed
More informationStat 642, Lecture notes for 01/27/ d i = 1 t. n i t nj. n j
Stat 642, Lecture notes for 01/27/05 18 Rate Standardzaton Contnued: Note that f T n t where T s the cumulatve follow-up tme and n s the number of subjects at rsk at the mdpont or nterval, and d s the
More informationCOS 521: Advanced Algorithms Game Theory and Linear Programming
COS 521: Advanced Algorthms Game Theory and Lnear Programmng Moses Charkar February 27, 2013 In these notes, we ntroduce some basc concepts n game theory and lnear programmng (LP). We show a connecton
More informationThe Multiple Classical Linear Regression Model (CLRM): Specification and Assumptions. 1. Introduction
ECONOMICS 5* -- NOTE (Summary) ECON 5* -- NOTE The Multple Classcal Lnear Regresson Model (CLRM): Specfcaton and Assumptons. Introducton CLRM stands for the Classcal Lnear Regresson Model. The CLRM s also
More informationQueueing Networks II Network Performance
Queueng Networks II Network Performance Davd Tpper Assocate Professor Graduate Telecommuncatons and Networkng Program Unversty of Pttsburgh Sldes 6 Networks of Queues Many communcaton systems must be modeled
More informationLecture 20: November 7
0-725/36-725: Convex Optmzaton Fall 205 Lecturer: Ryan Tbshran Lecture 20: November 7 Scrbes: Varsha Chnnaobreddy, Joon Sk Km, Lngyao Zhang Note: LaTeX template courtesy of UC Berkeley EECS dept. Dsclamer:
More informationHigh Performance Rotation Architectures Based on the Radix-4 CORDIC Algorithm
IEEE TRANSACTIONS ON COMPUTERS, VOL. 46, NO. 8, AUGUST 997 855 Hgh Performance Rotaton Archtectures Based on the Radx-4 CORDIC Algorthm Elsardo Antelo, Julo Vllalba, Javer D. Bruguera, and Emlo L. Zapata
More informationSolutions of Boolean equations by orthonormal expansion
Solutons of Boolean equatons by orthonormal expanson Vrendra Sule Department of Electrcal Engneerng Indan Insttute of Technology Bombay, Powa Mumba 400076, Inda (vrs@ee.tb.ac.n) December 29, 2012 1 Introducton
More informationParametric fractional imputation for missing data analysis. Jae Kwang Kim Survey Working Group Seminar March 29, 2010
Parametrc fractonal mputaton for mssng data analyss Jae Kwang Km Survey Workng Group Semnar March 29, 2010 1 Outlne Introducton Proposed method Fractonal mputaton Approxmaton Varance estmaton Multple mputaton
More information1 Generating functions, continued
Generatng functons, contnued. Generatng functons and parttons We can make use of generatng functons to answer some questons a bt more restrctve than we ve done so far: Queston : Fnd a generatng functon
More informationFinding Dense Subgraphs in G(n, 1/2)
Fndng Dense Subgraphs n Gn, 1/ Atsh Das Sarma 1, Amt Deshpande, and Rav Kannan 1 Georga Insttute of Technology,atsh@cc.gatech.edu Mcrosoft Research-Bangalore,amtdesh,annan@mcrosoft.com Abstract. Fndng
More informationRepresentations of Elementary Functions Using Binary Moment Diagrams
Representatons of Elementary Functons Usng Bnary Moment Dagrams Tsutomu Sasao Department of Computer Scence and Electroncs, Kyushu Insttute of Technology Izua 82-852, Japan Shnobu Nagayama Department of
More informationCSci 6974 and ECSE 6966 Math. Tech. for Vision, Graphics and Robotics Lecture 21, April 17, 2006 Estimating A Plane Homography
CSc 6974 and ECSE 6966 Math. Tech. for Vson, Graphcs and Robotcs Lecture 21, Aprl 17, 2006 Estmatng A Plane Homography Overvew We contnue wth a dscusson of the major ssues, usng estmaton of plane projectve
More informationLecture 20: Hypothesis testing
Lecture : Hpothess testng Much of statstcs nvolves hpothess testng compare a new nterestng hpothess, H (the Alternatve hpothess to the borng, old, well-known case, H (the Null Hpothess or, decde whether
More informationDepartment of Statistics University of Toronto STA305H1S / 1004 HS Design and Analysis of Experiments Term Test - Winter Solution
Department of Statstcs Unversty of Toronto STA35HS / HS Desgn and Analyss of Experments Term Test - Wnter - Soluton February, Last Name: Frst Name: Student Number: Instructons: Tme: hours. Ads: a non-programmable
More informationTHE ROYAL STATISTICAL SOCIETY 2006 EXAMINATIONS SOLUTIONS HIGHER CERTIFICATE
THE ROYAL STATISTICAL SOCIETY 6 EXAMINATIONS SOLUTIONS HIGHER CERTIFICATE PAPER I STATISTICAL THEORY The Socety provdes these solutons to assst canddates preparng for the eamnatons n future years and for
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationTRANSPOSE ON VERTEX SYMMETRIC DIGRAPHS
TRANSPOSE ON VERTEX SYMMETRIC DIGRAPHS Vance Faber Center for Computng Scences, Insttute for Defense Analyses Abstract. In [] (and earler n [3]), we defned several global communcaton tasks (unversal exchange,
More informationLeast squares cubic splines without B-splines S.K. Lucas
Least squares cubc splnes wthout B-splnes S.K. Lucas School of Mathematcs and Statstcs, Unversty of South Australa, Mawson Lakes SA 595 e-mal: stephen.lucas@unsa.edu.au Submtted to the Gazette of the Australan
More informationRISC Processors. Hierarchical VLSI Design. Multiple Layered Architecture. 6. Case Study: Formal Verification of RISC Processors using HOL
6. Case Study: Formal Verfcaton of RISC Processors usng HOL RISC Processors Motvaton RISC Verfcaton Model Dervng Formal Specfcatons Verfcaton Tasks Ppelne Correctness Processor Specfc Defntons Expermental
More informationUsing Multivariate Rank Sum Tests to Evaluate Effectiveness of Computer Applications in Teaching Business Statistics
Usng Multvarate Rank Sum Tests to Evaluate Effectveness of Computer Applcatons n Teachng Busness Statstcs by Yeong-Tzay Su, Professor Department of Mathematcs Kaohsung Normal Unversty Kaohsung, TAIWAN
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationp 1 c 2 + p 2 c 2 + p 3 c p m c 2
Where to put a faclty? Gven locatons p 1,..., p m n R n of m houses, want to choose a locaton c n R n for the fre staton. Want c to be as close as possble to all the house. We know how to measure dstance
More informationalgorithms ISSN
Algorthms 2008, 1, 30-42; DOI: 10.3390/a1010030 Artcle OPEN ACCESS algorthms ISSN 1999-4893 www.mdp.org/algorthms andomzed Compettve Analyss for Two Server Problems Wolfgang Ben 1,,, Kazuo Iwama 2 and
More informationExperience with Automatic Generation Control (AGC) Dynamic Simulation in PSS E
Semens Industry, Inc. Power Technology Issue 113 Experence wth Automatc Generaton Control (AGC) Dynamc Smulaton n PSS E Lu Wang, Ph.D. Staff Software Engneer lu_wang@semens.com Dngguo Chen, Ph.D. Staff
More informationUsing the estimated penetrances to determine the range of the underlying genetic model in casecontrol
Georgetown Unversty From the SelectedWorks of Mark J Meyer 8 Usng the estmated penetrances to determne the range of the underlyng genetc model n casecontrol desgn Mark J Meyer Neal Jeffres Gang Zheng Avalable
More informationChanging Topology and Communication Delays
Prepared by F.L. Lews Updated: Saturday, February 3, 00 Changng Topology and Communcaton Delays Changng Topology The graph connectvty or topology may change over tme. Let G { G, G,, G M } wth M fnte be
More informationCombining Constraint Programming and Integer Programming
Combnng Constrant Programmng and Integer Programmng GLOBAL CONSTRAINT OPTIMIZATION COMPONENT Specal Purpose Algorthm mn c T x +(x- 0 ) x( + ()) =1 x( - ()) =1 FILTERING ALGORITHM COST-BASED FILTERING ALGORITHM
More informationOne-sided finite-difference approximations suitable for use with Richardson extrapolation
Journal of Computatonal Physcs 219 (2006) 13 20 Short note One-sded fnte-dfference approxmatons sutable for use wth Rchardson extrapolaton Kumar Rahul, S.N. Bhattacharyya * Department of Mechancal Engneerng,
More informationPower Efficient Design and Implementation of a Novel Constant Correction Truncated Multiplier
APSIPA ASC 11 X an Power Effcent Desgn and Implementaton of a Novel Constant Correcton Truncated Multpler Yu Ren, Dong Wang, Lebo Lu, Shouy Yn and Shaojun We Tsnghua Unversty, Bejng E-mal: reneereny@gmal.com
More informationAbstract. The assumptions made for rank computation are as follows. (see Figure 1)
A Novel Metrc for Interconnect Archtecture Performance Parthasarath Dasgupta, Andrew B. Kahng, and Swamy Muddu CSE Department, UCSD, La Jolla, CA 92093-0114 ECE Department, UCSD, La Jolla, CA 92093-0407
More informationDynamic Programming. Preview. Dynamic Programming. Dynamic Programming. Dynamic Programming (Example: Fibonacci Sequence)
/24/27 Prevew Fbonacc Sequence Longest Common Subsequence Dynamc programmng s a method for solvng complex problems by breakng them down nto smpler sub-problems. It s applcable to problems exhbtng the propertes
More informationNon-linear Canonical Correlation Analysis Using a RBF Network
ESANN' proceedngs - European Smposum on Artfcal Neural Networks Bruges (Belgum), 4-6 Aprl, d-sde publ., ISBN -97--, pp. 57-5 Non-lnear Canoncal Correlaton Analss Usng a RBF Network Sukhbnder Kumar, Elane
More information