Practical Statistical Static Timing Analysis with Current Source Models

Size: px
Start display at page:

Download "Practical Statistical Static Timing Analysis with Current Source Models"

Transcription

1 Prcticl Sttisticl Sttic Timing Anlysis with Current Source Models Debjit Sinh, ldimir Zolotov, Sheshshyee K. ghunthn 2, Michel H. Wood, Kerim Klfl IBM Systems, Poughkeepsie, USA IBM Thoms J. Wtson eserch, Yorktown Heights, USA IBM Systems, Bnglore, Indi 2 {dsinh, zolotov, woodm, klfl}@us.ibm.com; shesh.rghunthn@in.ibm.com 26 IBM Corportion

2 Driver nd Signl Modeling Dely/Slew/Ceff driver model is too inccurte Current Source Model (CSM) hs better ccurcy Einstimer uses efficient implementtion bsed on dynmic effective cpcitnce P Feldmnn, S Abbspour, D Sinh, et l., Driver wveform computtion for timing nlysis with multiple voltge threshold driver models, DAC 28 Wveforms model is necessry compnion Better ccurcy but higher computtionl cost nd memory footprint Y Eqv Einstimer implements sttisticl timing Delys, slews, ATs, ATs, etc. re modeled with liner or biliner forms Cross-terms model interction of sources of vritions like dependence of vribility on dd t Liner terms Cross-terms t t 2 t n t = t + t + t X t + t, X + L + t, Efficient sttisticl model of wveform is needed 2

3 Sttisticl wveform models Time points re modeled with sttisticl cnonicl form H.Ftemi, S.Nzrin, nd M.Pedrm, Sttisticl logic cell dely nlysis using current-bsed model, DAC26 High memory consumption nd redundncy Time moments re highly correlted Sttisticl wveform model pproximtes vribility with timing shift nd scle Nominl wveform nom (t) defines shpe Cnonicl form of shift cts s sttisticl dely D = d + s + d X d Cnonicl form of scle cts s sttisticl slew S = s + s + s X s. Zolotov, J. Xiong, C. isweswrih, S. Abbspour, D. Hthwy, Compct modeling of vritionl wveforms, ICCAD 27 computes sensitivities by solving CSM differentil equtions, which is rther inefficient. Efficient technique for computing nd propgting sttisticl wveform is needed Support incrementl timing ( t S[ t t D ) t) = nom ] ( Shift D t = t + t + t X t Shift t Scle Scle S t t t 3

4 Sttisticl wveform propgtion ( Prtil CSM ) Sttisticl AT & slew t gte input Compute ATs nd slews for bse corners S = s + s s Solve CSM for ll bse corners to get wveforms t gte output A Compute nd store nominl wveform, sttisticl AT nd slew nom (t) s + s s Construct corner wveforms t interconnect input by shift nd scle to mtch corner ATs nd slews B Construct interconnect models (OMs) for ll bse corners S = s + s s Propgte wveforms for ll bse corners through interconnect Sttisticl AT & slew t next gte input Compute nd store sttisticl AT nd slew 4

5 Study of sttisticl timing models 4 methods of sttisticl timing: No CSM NLDM insted of CSM Full CSM - wveforms for ll bse corners Bse corners wveform re needed for incrementl timing Prtil CSM nominl wveform with sttisticl shift&scle Wveforms t other corners re constructed by mtching delys nd slews of conventionl sttisticl timing mp CSM no wveforms stored Gte is modeled with CSM to get dely & slew Liner rmp is propgted through interconnect A A B D Four 4nm test circuits PO Y 5fF Y PO XO 5fF DFF Q PO 5fF CK 8 PT corners; FF dd =./.6 T= 85C FF dd =./.6 T= -C SS dd =./.6 T= 85C SS dd =./.6 T= -C equired for PT cross-term A Chin of buffers Y A Y 5fF esistive wire: ~3- ff Ctotl, ~2-4 ff Ceff,.3- kohm resistnce] OUT 5

6 Aligned corner wveforms XO isible difference between.5 nd.6 wveforms DFF chin 6

7 Bse corner selection Corner P//T Mx error of dely/slew (%) Averge error of dely/slew (%) XO DFF Chin XO DFF Chin FF/./- 4./.6 4.7/4. 8./2.9 2./ / /2..7/ /-.6 FF/./ /.7 3.8/3.8 9./2.6 2./.26-2./ /.7 2.3/. -.84/-.6 SS/./- 2.3/.5 7.5/ /2.6./.6 -.2/ 2.4/.2 4.7/.8 -.4/-.3 SS/./+85 2./.5 9./ /2.4./.5 / 3.6/.8 5./.6 -.4/-.2 FF/.6/+85.3/.4 7.7/.9 7./.7.9/.5 -.2/. 2./ /-.3 -./-.3 FF/.6/-./.6 6.2/2. 6.7/.6.9/.8 -.2/.2.9/-. -.6/-.4 -./-.4 SS/.6/+85.3/.8 6.3/.9 9.9/3..5/.5.65/.5-3./ /-.7.72/.2 SS/.6/-.8/.9 7.5/.9.7/3.2.4/.5.3/.5-4.3/ / / Accurcy highly depends on selection of bse (nominl) corner No corner with best ccurcy for ll circuits both for delys nd slews Selected corner with best trdeoff ccurcy 7

8 Hold slck error histogrm No CSM SSTA slck error Design D9: 7.6K tests 33K gtes Worst slck is reduced by 7ps Prtil CSM SSTA slck error Slck error (ps)

9 Timing ccurcy, run time, memory footprint Design Num gtes Num tests No CSM AT/Slew Error (%) CSM AT/Slew Error (%) Slck Accur Improvment vs No CSM un time vs No CSM Memory vs no CSM D6 7K 2.K.3/2..2/. 6.9% 6% 3.6% D7 23K 3.5K./.9./.2 4.2% 6% 4.6% D8 3K 6.6K 2.3/3.2.5/. 5.4% 4% 4.% D9 33K 7.6K.6/3.2.3/. 7.% 5% 5% D 7K 34.K.9/3.3.3/..4% 5% 2.5% D.63M 96K.6/2.3/. 5.2% 6% 7.5% Typicl No CSM error in AT.3-.9% (worst 8ps), in Slew 2-3% (worst 7ps) Typicl Prtil CSM error in AT.3%, in slew.-.% Up to 7% slck improvement (7ps) for representtive 25ps clock cycle esonble run time overheds 6% Additionl memory -.5GB per M gtes 9

10 Conclusions Studied implementtions of CSM wveforms in sttisticl timing for 4nm high performnce designs Nïve pproch results in mnifold memory overhed Developed method of propgting sttisticl wveforms Sttisticl shift nd scle technique ws modified for better performnce nd lower memory footprint. Achieved substntil slck ccurcy improvement Up to 7ps, i.e. 7 of 25ps cycle time un time increse does not exceed 6% Memory overhed is bout.gb per M gtes Does not exceed 7.5% Further ccurcy improvement cn be chieved Dynmic selection/construction of nominl corner for shift nd scle representtion

Many analog implementations of CPG exist, typically using operational amplifier or

Many analog implementations of CPG exist, typically using operational amplifier or FPGA Implementtion of Centrl Pttern Genertor By Jmes J Lin Introuction: Mny nlog implementtions of CPG exist, typiclly using opertionl mplifier or trnsistor level circuits. These types of circuits hve

More information

Parallel Square and Cube Computations

Parallel Square and Cube Computations Prllel Squre nd Cube Computtions Albert A. Liddicot nd Michel J. Flynn Computer Systems Lbortory, Deprtment of Electricl Engineering Stnford University Gtes Building 5 Serr Mll, Stnford, CA 945, USA liddicot@stnford.edu

More information

Questions About Numbers. Number Systems and Arithmetic. Introduction to Binary Numbers. Negative Numbers?

Questions About Numbers. Number Systems and Arithmetic. Introduction to Binary Numbers. Negative Numbers? Questions About Numbers Number Systems nd Arithmetic or Computers go to elementry school How do you represent negtive numbers? frctions? relly lrge numbers? relly smll numbers? How do you do rithmetic?

More information

Engineer To Engineer Note

Engineer To Engineer Note Engineer To Engineer Note EE-169 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit

More information

Fault injection attacks on cryptographic devices and countermeasures Part 2

Fault injection attacks on cryptographic devices and countermeasures Part 2 Fult injection ttcks on cryptogrphic devices nd countermesures Prt Isrel Koren Deprtment of Electricl nd Computer Engineering University of Msschusetts Amherst, MA Countermesures - Exmples Must first detect

More information

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers Wht do ll those bits men now? bits (...) Number Systems nd Arithmetic or Computers go to elementry school instruction R-formt I-formt... integer dt number text chrs... floting point signed unsigned single

More information

Systems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits

Systems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits Systems I Logic Design I Topics Digitl logic Logic gtes Simple comintionl logic circuits Simple C sttement.. C = + ; Wht pieces of hrdwre do you think you might need? Storge - for vlues,, C Computtion

More information

Chapter 2 Sensitivity Analysis: Differential Calculus of Models

Chapter 2 Sensitivity Analysis: Differential Calculus of Models Chpter 2 Sensitivity Anlysis: Differentil Clculus of Models Abstrct Models in remote sensing nd in science nd engineering, in generl re, essentilly, functions of discrete model input prmeters, nd/or functionls

More information

SUPPLEMENTARY INFORMATION

SUPPLEMENTARY INFORMATION Supplementry Figure y (m) x (m) prllel perpendiculr Distnce (m) Bird Stndrd devition for distnce (m) c 6 prllel perpendiculr 4 doi:.8/nture99 SUPPLEMENTARY FIGURE Confirmtion tht movement within the flock

More information

Alignment of Long Sequences. BMI/CS Spring 2012 Colin Dewey

Alignment of Long Sequences. BMI/CS Spring 2012 Colin Dewey Alignment of Long Sequences BMI/CS 776 www.biostt.wisc.edu/bmi776/ Spring 2012 Colin Dewey cdewey@biostt.wisc.edu Gols for Lecture the key concepts to understnd re the following how lrge-scle lignment

More information

Data Flow on a Queue Machine. Bruno R. Preiss. Copyright (c) 1987 by Bruno R. Preiss, P.Eng. All rights reserved.

Data Flow on a Queue Machine. Bruno R. Preiss. Copyright (c) 1987 by Bruno R. Preiss, P.Eng. All rights reserved. Dt Flow on Queue Mchine Bruno R. Preiss 2 Outline Genesis of dt-flow rchitectures Sttic vs. dynmic dt-flow rchitectures Pseudo-sttic dt-flow execution model Some dt-flow mchines Simple queue mchine Prioritized

More information

Qubit allocation for quantum circuit compilers

Qubit allocation for quantum circuit compilers Quit lloction for quntum circuit compilers Nov. 10, 2017 JIQ 2017 Mrcos Yukio Sirichi Sylvin Collnge Vinícius Fernndes dos Sntos Fernndo Mgno Quintão Pereir Compilers for quntum computing The first genertion

More information

Accelerating 3D convolution using streaming architectures on FPGAs

Accelerating 3D convolution using streaming architectures on FPGAs Accelerting 3D convolution using streming rchitectures on FPGAs Hohun Fu, Robert G. Clpp, Oskr Mencer, nd Oliver Pell ABSTRACT We investigte FPGA rchitectures for ccelerting pplictions whose dominnt cost

More information

Engineer To Engineer Note

Engineer To Engineer Note Engineer To Engineer Note EE-186 Technicl Notes on using Anlog Devices' DSP components nd development tools Contct our technicl support by phone: (800) ANALOG-D or e-mil: dsp.support@nlog.com Or visit

More information

Accuracy in Warping ECT LV Surfaces to CT Angiography Coronary Vessels

Accuracy in Warping ECT LV Surfaces to CT Angiography Coronary Vessels Accurcy in Wrping ECT LV Surfces to CT Angiogrphy Coronry Vessels BC Lee, JN Kritzmn, JR Corbett, EP Ficro * University of Michign Helth System, Ann Arbor, MI Disclosure: * Receive softwre roylties from

More information

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers

What do all those bits mean now? Number Systems and Arithmetic. Introduction to Binary Numbers. Questions About Numbers Wht do ll those bits men now? bits (...) Number Systems nd Arithmetic or Computers go to elementry school instruction R-formt I-formt... integer dt number text chrs... floting point signed unsigned single

More information

Applied Databases. Sebastian Maneth. Lecture 13 Online Pattern Matching on Strings. University of Edinburgh - February 29th, 2016

Applied Databases. Sebastian Maneth. Lecture 13 Online Pattern Matching on Strings. University of Edinburgh - February 29th, 2016 Applied Dtses Lecture 13 Online Pttern Mtching on Strings Sestin Mneth University of Edinurgh - Ferury 29th, 2016 2 Outline 1. Nive Method 2. Automton Method 3. Knuth-Morris-Prtt Algorithm 4. Boyer-Moore

More information

A COLOUR CORRECTION PREPROCESSING METHOD FOR MULTIVIEW VIDEO CODING

A COLOUR CORRECTION PREPROCESSING METHOD FOR MULTIVIEW VIDEO CODING A COLOR CORRECTO REROCESSG METHOD FOR MLTEW DEO CODG Colin Doutre nd nos siopoulos Deprtment of Electricl nd Computer Engineering, niversity of British Columbi 66 Min Mll, 6T Z4, ncouver, BC, Cnd emil:

More information

What are suffix trees?

What are suffix trees? Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl

More information

Presentation Martin Randers

Presentation Martin Randers Presenttion Mrtin Rnders Outline Introduction Algorithms Implementtion nd experiments Memory consumption Summry Introduction Introduction Evolution of species cn e modelled in trees Trees consist of nodes

More information

On Computation and Resource Management in Networked Embedded Systems

On Computation and Resource Management in Networked Embedded Systems On Computtion nd Resource Mngement in Networed Embedded Systems Soheil Ghisi Krlene Nguyen Elheh Bozorgzdeh Mjid Srrfzdeh Computer Science Deprtment University of Cliforni, Los Angeles, CA 90095 soheil,

More information

Tilt-Sensing with Kionix MEMS Accelerometers

Tilt-Sensing with Kionix MEMS Accelerometers Tilt-Sensing with Kionix MEMS Accelerometers Introduction Tilt/Inclintion sensing is common ppliction for low-g ccelerometers. This ppliction note describes how to use Kionix MEMS low-g ccelerometers to

More information

Timing Analysis with Crosstalk as Fixpoints on Complete Lattice

Timing Analysis with Crosstalk as Fixpoints on Complete Lattice Timing Anlysis with Crosstlk s Fixpoints on Complete Lttice Hi Zhou, Nrendr Shenoy, nd Willim Nicholls Advnced Technology Group Synopsys, Inc. Mountin View, 94043 ABSTRACT Incresing dely vrition due to

More information

Digital Signal Processing: A Hardware-Based Approach

Digital Signal Processing: A Hardware-Based Approach Digitl Signl Processing: A Hrdwre-Bsed Approch Roert Esposito Electricl nd Computer Engineering Temple University troduction Teching Digitl Signl Processing (DSP) hs included the utilition of simultion

More information

Stack. A list whose end points are pointed by top and bottom

Stack. A list whose end points are pointed by top and bottom 4. Stck Stck A list whose end points re pointed by top nd bottom Insertion nd deletion tke plce t the top (cf: Wht is the difference between Stck nd Arry?) Bottom is constnt, but top grows nd shrinks!

More information

Computational Imaging and Partial Differential Equations

Computational Imaging and Partial Differential Equations Computtionl Imging nd Prtil Differentil Equtions Chng-Ock Lee Asi Pcific Mthemtics Newsletter 1. Introduction Digitl imges re generted through quntistion nd dt extrction from nlog imges for the rel world

More information

Kyoung Hwan Lim and Taewhan Kim Seoul National University

Kyoung Hwan Lim and Taewhan Kim Seoul National University Kyoung Hwan Lim and Taewhan Kim Seoul National University Table of Contents Introduction Motivational Example The Proposed Algorithm Experimental Results Conclusion In synchronous circuit design, all sequential

More information

Computer Arithmetic Logical, Integer Addition & Subtraction Chapter

Computer Arithmetic Logical, Integer Addition & Subtraction Chapter Computer Arithmetic Logicl, Integer Addition & Sutrction Chpter 3.-3.3 3.3 EEC7 FQ 25 MIPS Integer Representtion -it signed integers,, e.g., for numeric opertions 2 s s complement: one representtion for

More information

Suffix Tries. Slides adapted from the course by Ben Langmead

Suffix Tries. Slides adapted from the course by Ben Langmead Suffix Tries Slides dpted from the course y Ben Lngmed en.lngmed@gmil.com Indexing with suffixes Until now, our indexes hve een sed on extrcting sustrings from T A very different pproch is to extrct suffixes

More information

seven rigid frames: analysis & design Rigid Frames Rigid Frames Rigid Frames composed of linear elements member geometry fixed at joints

seven rigid frames: analysis & design Rigid Frames Rigid Frames Rigid Frames composed of linear elements member geometry fixed at joints APPLIED ARCHITECTURAL STRUCTURES: STRUCTURAL ANALYSIS AND SYSTEMS DR. ANNE NICHOLS SPRING 2018 lecture seven rigid rmes: nlysis & design http:// nisee.erkeley.edu/godden Rigid rmes composed o liner elements

More information

Improved Clock-Gating through Transparent Pipelining

Improved Clock-Gating through Transparent Pipelining 2. Improved Clock-Gting through Trnsprent Pipelining Hns M. Jcobson IM T.J. Wtson Reserch Center, Yorktown, NY. hnsj@us.ibm.com STRCT This pper re-exmines the well estblished clocking principles of pipelines.

More information

5 Regular 4-Sided Composition

5 Regular 4-Sided Composition Xilinx-Lv User Guide 5 Regulr 4-Sided Composition This tutoril shows how regulr circuits with 4-sided elements cn be described in Lv. The type of regulr circuits tht re discussed in this tutoril re those

More information

Chapter 2 Capacitive Sensing Electrodes

Chapter 2 Capacitive Sensing Electrodes Chpter 2 Cpcitive Sensing Electrodes The cpcitive sensing electrodes on the top of CMOS chip serve s n interfce etween the microelectronic redout system nd the iologicl/chemicl nlyte. These electrodes

More information

ITEC2620 Introduction to Data Structures

ITEC2620 Introduction to Data Structures ITEC0 Introduction to Dt Structures Lecture 7 Queues, Priority Queues Queues I A queue is First-In, First-Out = FIFO uffer e.g. line-ups People enter from the ck of the line People re served (exit) from

More information

Semi-Supervised Video Segmentation using Tree Structured Graphical Models

Semi-Supervised Video Segmentation using Tree Structured Graphical Models Semi-Supervised Video Segmenttion using Tree Structured Grphicl Models Igns Budvytis, Vijy Bdrinrynn, Roberto Cipoll Deprtment of Engineering, University of Cmbridge, Cmbridge, UK ib255,vb292,cipoll@eng.cm.c.uk

More information

Bonded Internet. Architecture Examples for Replacing or Enhancing Customer MPLS Networks

Bonded Internet. Architecture Examples for Replacing or Enhancing Customer MPLS Networks Bonded Internet Architecture Exmples for Replcing or Enhncing Customer MPLS Networks Bonded Internet Ensuring business customers hve: Fst, Relible, nd Secure ccess to their Cloud pplictions nd services

More information

seven rigid frames: analysis & design Rigid Frames Rigid Frames Rigid Frames composed of linear elements member geometry fixed at joints

seven rigid frames: analysis & design Rigid Frames Rigid Frames Rigid Frames composed of linear elements member geometry fixed at joints APPLIED ARCHITECTURAL STRUCTURES: STRUCTURAL ANALYSIS AND SYSTEMS DR. ANNE NICHOLS ALL 2018 lecture seven rigid rmes: nlysis & design http:// nisee.erkeley.edu/godden Rigid rmes composed o liner elements

More information

Introduction to Computer Engineering EECS 203 dickrp/eecs203/ CMOS transmission gate (TG) TG example

Introduction to Computer Engineering EECS 203  dickrp/eecs203/ CMOS transmission gate (TG) TG example Introduction to Computer Engineering EECS 23 http://ziyng.eecs.northwestern.edu/ dickrp/eecs23/ CMOS trnsmission gte TG Instructor: Robert Dick Office: L477 Tech Emil: dickrp@northwestern.edu Phone: 847

More information

Algorithm Design (5) Text Search

Algorithm Design (5) Text Search Algorithm Design (5) Text Serch Tkshi Chikym School of Engineering The University of Tokyo Text Serch Find sustring tht mtches the given key string in text dt of lrge mount Key string: chr x[m] Text Dt:

More information

HOPC: A NOVEL SIMILARITY METRIC BASED ON GEOMETRIC STRUCTURAL PROPERTIES FOR MULTI-MODAL REMOTE SENSING IMAGE MATCHING

HOPC: A NOVEL SIMILARITY METRIC BASED ON GEOMETRIC STRUCTURAL PROPERTIES FOR MULTI-MODAL REMOTE SENSING IMAGE MATCHING ISPRS Annls of the Photogrmmetry, Remote Sensing nd Sptil Informtion Sciences, Volume III-1, 216 XXIII ISPRS Congress, 12 19 July 216, Prgue, Czech Republic : A NOVEL SILARITY METRIC BASED ON GEOMETRIC

More information

LETKF compared to 4DVAR for assimilation of surface pressure observations in IFS

LETKF compared to 4DVAR for assimilation of surface pressure observations in IFS LETKF compred to 4DVAR for ssimiltion of surfce pressure oservtions in IFS Pu Escrià, Mssimo Bonvit, Mts Hmrud, Lrs Isksen nd Pul Poli Interntionl Conference on Ensemle Methods in Geophysicl Sciences Toulouse,

More information

ON USING FUZZY ARITHMETIC TO SOLVE PROBLEMS WITH UNCERTAIN MODEL PARAMETERS

ON USING FUZZY ARITHMETIC TO SOLVE PROBLEMS WITH UNCERTAIN MODEL PARAMETERS ON USNG FUZZY ARTHMETC TO SOLVE PROLEMS WTH UNCERTAN MOEL PARAMETERS Michel Hnss, Ki Willner nstitute A of Mechnics University of Stuttgrt Pfffenwldring 9 70550 Stuttgrt, Germny M.Hnss,K.Willner @mech.uni-stuttgrt.de

More information

PushPull: Short Path Padding for Timing Error Resilient Circuits YU-MING YANG IRIS HUI-RU JIANG SUNG-TING HO. IRIS Lab National Chiao Tung University

PushPull: Short Path Padding for Timing Error Resilient Circuits YU-MING YANG IRIS HUI-RU JIANG SUNG-TING HO. IRIS Lab National Chiao Tung University PushPull: Short Path Padding for Timing Error Resilient Circuits YU-MING YANG IRIS HUI-RU JIANG SUNG-TING HO IRIS Lab National Chiao Tung University Outline Introduction Problem Formulation Algorithm -

More information

Revisiting the notion of Origin-Destination Traffic Matrix of the Hosts that are attached to a Switched Local Area Network

Revisiting the notion of Origin-Destination Traffic Matrix of the Hosts that are attached to a Switched Local Area Network Interntionl Journl of Distributed nd Prllel Systems (IJDPS) Vol., No.6, November 0 Revisiting the notion of Origin-Destintion Trffic Mtrix of the Hosts tht re ttched to Switched Locl Are Network Mondy

More information

COMP 423 lecture 11 Jan. 28, 2008

COMP 423 lecture 11 Jan. 28, 2008 COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring

More information

Radiation-Hardened Bidirectional Multipurpose Transceiver B54AC164245SRH Datasheet

Radiation-Hardened Bidirectional Multipurpose Transceiver B54AC164245SRH Datasheet Ver 1.0 Rdition-Hrdened Bidirectionl Multipurpose Trnsceiver B54AC164245SRH Dtsheet Beijing Microelectronics Technology Institute 2011.3.20 INDEX 1. FEATURES... 1 2. GENERAL DESCRIPTION... 2 3. BLOCK DIAGRAM...

More information

Regular Expression Matching with Multi-Strings and Intervals. Philip Bille Mikkel Thorup

Regular Expression Matching with Multi-Strings and Intervals. Philip Bille Mikkel Thorup Regulr Expression Mtching with Multi-Strings nd Intervls Philip Bille Mikkel Thorup Outline Definition Applictions Previous work Two new problems: Multi-strings nd chrcter clss intervls Algorithms Thompson

More information

Demand-Driven Context-Sensitive Alias Analysis for Java

Demand-Driven Context-Sensitive Alias Analysis for Java Demnd-Driven Context-Sensitive Alis Anlysis or Jv Dcong (Tony) Yn Guoqing (Hrry) Xu Atns Rountev Ohio Stte University PRESTO: Progrm Anlyses nd Sotwre Tools Reserch Group, Ohio Stte University Alis Anlysis

More information

On String Matching in Chunked Texts

On String Matching in Chunked Texts On String Mtching in Chunked Texts Hnnu Peltol nd Jorm Trhio {hpeltol, trhio}@cs.hut.fi Deprtment of Computer Science nd Engineering Helsinki University of Technology P.O. Box 5400, FI-02015 HUT, Finlnd

More information

A New Learning Algorithm for the MAXQ Hierarchical Reinforcement Learning Method

A New Learning Algorithm for the MAXQ Hierarchical Reinforcement Learning Method A New Lerning Algorithm for the MAXQ Hierrchicl Reinforcement Lerning Method Frzneh Mirzzdeh 1, Bbk Behsz 2, nd Hmid Beigy 1 1 Deprtment of Computer Engineering, Shrif University of Technology, Tehrn,

More information

Numerical Analysis of Gravity and Parabolic Catenaries

Numerical Analysis of Gravity and Parabolic Catenaries Numericl Anlysis of Grvity nd Prbolic Ctenries J. Vsek, O. Suchrd Abstrct This pper nlyses grvity nd prbolic ctenries. It discusses development of n lgorithm for tsks nd optimising of the clcultion. Different

More information

Outline CS 412/413. Function calls. Stack layout. Tiling a call. Two translations

Outline CS 412/413. Function calls. Stack layout. Tiling a call. Two translations CS 412/413 Introduction to Compilers nd Trnsltors Cornell University Andrew Myers Outline Implementing function clls Implementing functions Optimizing wy the pointer Dynmiclly-llocted structures strings

More information

Prediction of cutting force and surface roughness using Taguchi technique for aluminum alloy AA6061

Prediction of cutting force and surface roughness using Taguchi technique for aluminum alloy AA6061 Austrlin Journl of Mechnicl Engineering ISSN: 1448-4846 (Print) 2204-2253 (Online) Journl homepge: http://www.tndfonline.com/loi/tmec20 Prediction of cutting force nd surfce roughness using Tguchi technique

More information

CPSC 213. Polymorphism. Introduction to Computer Systems. Readings for Next Two Lectures. Back to Procedure Calls

CPSC 213. Polymorphism. Introduction to Computer Systems. Readings for Next Two Lectures. Back to Procedure Calls Redings for Next Two Lectures Text CPSC 213 Switch Sttements, Understnding Pointers - 2nd ed: 3.6.7, 3.10-1st ed: 3.6.6, 3.11 Introduction to Computer Systems Unit 1f Dynmic Control Flow Polymorphism nd

More information

Computational Simulation of Turbulent Supersonic Flows around Axisymmetric Bodies Using a PNS/TLNS Multi-block Approach

Computational Simulation of Turbulent Supersonic Flows around Axisymmetric Bodies Using a PNS/TLNS Multi-block Approach MB MBP Computtionl Simultion of Turulent Supersonic Flows round Axisymmetric Bodies Using / Multi-lock Approch M.R. Heidri Spce Trining nd Reserch Center School of Aerospce Eng. Mlek-Ashtr Univ. of Tech.

More information

Efficient Regular Expression Grouping Algorithm Based on Label Propagation Xi Chena, Shuqiao Chenb and Ming Maoc

Efficient Regular Expression Grouping Algorithm Based on Label Propagation Xi Chena, Shuqiao Chenb and Ming Maoc 4th Ntionl Conference on Electricl, Electronics nd Computer Engineering (NCEECE 2015) Efficient Regulr Expression Grouping Algorithm Bsed on Lbel Propgtion Xi Chen, Shuqio Chenb nd Ming Moc Ntionl Digitl

More information

International Journal of Scientific & Engineering Research, Volume 4, Issue 12, December ISSN

International Journal of Scientific & Engineering Research, Volume 4, Issue 12, December ISSN Interntionl Journl of Scientific & Engineering Reserch, Volume 4, Issue 1, December-1 ISSN 9-18 Generlised Gussin Qudrture over Sphere K. T. Shivrm Abstrct This pper presents Generlised Gussin qudrture

More information

Study Sheet ( )

Study Sheet ( ) Key Terms prol circle Ellipse hyperol directrix focus focl length xis of symmetry vertex Study Sheet (11.1-11.4) Conic Section A conic section is section of cone. The ellipse, prol, nd hyperol, long with

More information

Optimization of Air Bearing Slider Design

Optimization of Air Bearing Slider Design Proceedings of TC2005 orld Tribology Congress III Proceedings of TC2005 September 2-6, orld 2005, Tribology shington, Congress D.C., III SA September 2-6, 2005, shington, D.C., SA Optimiztion of Air Bering

More information

CS 130 : Computer Systems - II. Shankar Balachandran Dept. of Computer Science & Engineering IIT Madras

CS 130 : Computer Systems - II. Shankar Balachandran Dept. of Computer Science & Engineering IIT Madras CS 3 : Computer Systems - II Shnkr Blchndrn (shnkr@cse.iitm.c.in) Dept. of Computer Science & Engineering IIT Mdrs Recp Differentite Between s nd s Truth Tbles b AND b OR NOT September 4, 27 Introduction

More information

Orthogonal line segment intersection

Orthogonal line segment intersection Computtionl Geometry [csci 3250] Line segment intersection The prolem (wht) Computtionl Geometry [csci 3250] Orthogonl line segment intersection Applictions (why) Algorithms (how) A specil cse: Orthogonl

More information

USING HOUGH TRANSFORM IN LINE EXTRACTION

USING HOUGH TRANSFORM IN LINE EXTRACTION Stylinidis, Efstrtios USING HOUGH TRANSFORM IN LINE EXTRACTION Efstrtios STYLIANIDIS, Petros PATIAS The Aristotle University of Thessloniki, Deprtment of Cdstre Photogrmmetry nd Crtogrphy Univ. Box 473,

More information

CS 268: IP Multicast Routing

CS 268: IP Multicast Routing Motivtion CS 268: IP Multicst Routing Ion Stoic April 5, 2004 Mny pplictions requires one-to-mny communiction - E.g., video/udio conferencing, news dissemintion, file updtes, etc. Using unicst to replicte

More information

LU Decomposition. Mechanical Engineering Majors. Authors: Autar Kaw

LU Decomposition. Mechanical Engineering Majors. Authors: Autar Kaw LU Decomposition Mechnicl Engineering Mjors Authors: Autr Kw Trnsforming Numericl Methods Eduction for STEM Undergrdutes // LU Decomposition LU Decomposition LU Decomposition is nother method to solve

More information

ten rigid frames: compression & buckling Rigid Frames Rigid Frames Rigid Frames

ten rigid frames: compression & buckling Rigid Frames Rigid Frames Rigid Frames RCHITECTURL STRUCTURES: ORM, BEHVIOR, ND DESIGN DR. NNE NICHOLS SUMMER 017 lecture ten rigid rmes: compression & uckling Rigid rmes rigid rmes hve no pins rme is ll one ody joints trnser moments nd sher

More information

Physical Design of Digital Integrated Circuits (EN0291 S40) Sherief Reda Division of Engineering, Brown University Fall 2006

Physical Design of Digital Integrated Circuits (EN0291 S40) Sherief Reda Division of Engineering, Brown University Fall 2006 Physical Design of Digital Integrated Circuits (EN0291 S40) Sherief Reda Division of Engineering, Brown University Fall 2006 1 Lecture 10: Repeater (Buffer) Insertion Introduction to Buffering Buffer Insertion

More information

DogBOT An Interactive Robot Dog for Entertainment

DogBOT An Interactive Robot Dog for Entertainment DogBOT An Interctive Robot Dog for Entertinment Kun-Ting Yu, Ping-Che Hsio, Wei-Ho Mou, Yi-Shu Li Deprtment of Computer Science & Informtion Engineering, Ntionl Tiwn University Abstrct This pper describes

More information

Series LJ1. Uniaxial Electric Actuator

Series LJ1. Uniaxial Electric Actuator CAT.E 90- Unixil Electric Actutor Controller Teching Box Unixil Electric Actutor Series LJ Series LJ Series LC Series LC for horizontl mounting nd brke for verticl mounting hve been dded to the high rigidity

More information

Lossy Images Compression Based on Multiresolution

Lossy Images Compression Based on Multiresolution Reserch Article Open Access Lossy Imges Compression Bsed on Multiresolution Rn T. Al-Timimi Deprtment of Bnking nd Finncil Sciences, College of Mngement nd Economic, Mustnsiriyh University, IRAQ *Author

More information

Ver 1.2. Radiation Hardened Bidirectional Multipurpose Transceiver. Datasheet. Part Number:B54ACS164245SARH

Ver 1.2. Radiation Hardened Bidirectional Multipurpose Transceiver. Datasheet. Part Number:B54ACS164245SARH Ver 1.2 Rdition Hrdened Bidirectionl Multipurpose Trnsceiver Dtsheet Prt Number:B54ACS164245SARH 1 Pge of Revise Control Version No. Publish Time Revised Chpter Revise Introduction Note 1.1 2016-08-15

More information

SYSTEMA / THERMICA version 4 Overview of the new capabilities

SYSTEMA / THERMICA version 4 Overview of the new capabilities SYSTEMA / THERMICA version 4 Overview of the new cpbilities Prepred by Mrc Jcquiu, SAS 16 th Europen Workshop on Therml nd ECLS Softwre, 22-23 October 2002 SYSTEMA / THERMICA current sttus (1/3) SYSTEMA

More information

EECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining

EECS150 - Digital Design Lecture 23 - High-level Design and Optimization 3, Parallelism and Pipelining EECS150 - Digitl Design Lecture 23 - High-level Design nd Optimiztion 3, Prllelism nd Pipelining Nov 12, 2002 John Wwrzynek Fll 2002 EECS150 - Lec23-HL3 Pge 1 Prllelism Prllelism is the ct of doing more

More information

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1):

Before We Begin. Introduction to Spatial Domain Filtering. Introduction to Digital Image Processing. Overview (1): Administrative Details (1): Overview (): Before We Begin Administrtive detils Review some questions to consider Winter 2006 Imge Enhncement in the Sptil Domin: Bsics of Sptil Filtering, Smoothing Sptil Filters, Order Sttistics Filters

More information

CVM-B100 CVM-B150. Power analyzer for panels

CVM-B100 CVM-B150. Power analyzer for panels Power nlyzers CVM CVM-100 CVM-150 Power nlyzer for pnels Description High-end power nlyzers, verstile nd expndle, with 4-qudrnt mesurement (Consumption nd Genertion). Suitle for high nd low Voltge instlltions,

More information

Computer-Aided Multiscale Modelling for Chemical Process Engineering

Computer-Aided Multiscale Modelling for Chemical Process Engineering 17 th Europen Symposium on Computer Aided Process Engineesing ESCAPE17 V. Plesu nd P.S. Agchi (Editors) 2007 Elsevier B.V. All rights reserved. 1 Computer-Aided Multiscle Modelling for Chemicl Process

More information

A Comparison of the Discretization Approach for CST and Discretization Approach for VDM

A Comparison of the Discretization Approach for CST and Discretization Approach for VDM Interntionl Journl of Innovtive Reserch in Advnced Engineering (IJIRAE) Volume1 Issue1 (Mrch 2014) A Comprison of the Discretiztion Approch for CST nd Discretiztion Approch for VDM Omr A. A. Shib Fculty

More information

LECT-10, S-1 FP2P08, Javed I.

LECT-10, S-1 FP2P08, Javed I. A Course on Foundtions of Peer-to-Peer Systems & Applictions LECT-10, S-1 CS /799 Foundtion of Peer-to-Peer Applictions & Systems Kent Stte University Dept. of Computer Science www.cs.kent.edu/~jved/clss-p2p08

More information

Some Thoughts on Grad School. Undergraduate Compilers Review and Intro to MJC. Structure of a Typical Compiler. Lexing and Parsing

Some Thoughts on Grad School. Undergraduate Compilers Review and Intro to MJC. Structure of a Typical Compiler. Lexing and Parsing Undergrdute Compilers Review nd Intro to MJC Announcements Miling list is in full swing Tody Some thoughts on grd school Finish prsing Semntic nlysis Visitor pttern for bstrct syntx trees Some Thoughts

More information

IMAGE QUALITY OPTIMIZATION BASED ON WAVELET FILTER DESIGN AND WAVELET DECOMPOSITION IN JPEG2000. Do Quan and Yo-Sung Ho

IMAGE QUALITY OPTIMIZATION BASED ON WAVELET FILTER DESIGN AND WAVELET DECOMPOSITION IN JPEG2000. Do Quan and Yo-Sung Ho IMAGE QUALITY OPTIMIZATIO BASED O WAVELET FILTER DESIG AD WAVELET DECOMPOSITIO I JPEG2000 Do Qun nd Yo-Sung Ho School of Informtion & Mechtronics Gwngju Institute of Science nd Technology (GIST) 26 Cheomdn-gwgiro

More information

Abstract. 1 Introduction /04 $20.00 (c) 2004 IEEE

Abstract. 1 Introduction /04 $20.00 (c) 2004 IEEE rithmetic resoning in DPLL-bsed T solving Mrkus Wedler, Dominik toffel, Wolfgng Kunz Dept. of Electricl & Computer Eng., University of Kiserslutern/Germny emil: wedler@eit.uni-kl.de bstrct We propose new

More information

From Dependencies to Evaluation Strategies

From Dependencies to Evaluation Strategies From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute

More information

Explicit Decoupled Group Iterative Method for the Triangle Element Solution of 2D Helmholtz Equations

Explicit Decoupled Group Iterative Method for the Triangle Element Solution of 2D Helmholtz Equations Interntionl Mthemticl Forum, Vol. 12, 2017, no. 16, 771-779 HIKARI Ltd, www.m-hikri.com https://doi.org/10.12988/imf.2017.7654 Explicit Decoupled Group Itertive Method for the Tringle Element Solution

More information

Control-Flow Analysis and Loop Detection

Control-Flow Analysis and Loop Detection ! Control-Flow Anlysis nd Loop Detection!Lst time! PRE!Tody! Control-flow nlysis! Loops! Identifying loops using domintors! Reducibility! Using loop identifiction to identify induction vribles CS553 Lecture

More information

Chapter Spline Method of Interpolation More Examples Electrical Engineering

Chapter Spline Method of Interpolation More Examples Electrical Engineering Chpter. Spline Method of Interpoltion More Exmples Electricl Engineering Exmple Thermistors re used to mesure the temperture of bodies. Thermistors re bsed on mterils chnge in resistnce with temperture.

More information

Process-Induced Skew Variation for Scaled 2-D and 3-D ICs

Process-Induced Skew Variation for Scaled 2-D and 3-D ICs Process-Induced Skew Variation for Scaled 2-D and 3-D ICs Hu Xu, Vasilis F. Pavlidis, and Giovanni De Micheli LSI-EPFL July 26, 2010 SLIP 2010, Anaheim, USA Presentation Outline 2-D and 3-D Clock Distribution

More information

IMECE IMECE

IMECE IMECE Proceedings of the ASME 2010 Interntionl Mechnicl Engineering Congress & Exposition IMECE2010 November 12-18, 2010, Vncouver, British Columbi, Cnd Proceedings of the ASME 2010 Interntionl Mechnicl Engineering

More information

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin

More information

L. Yaroslavsky. Fundamentals of Digital Image Processing. Course

L. Yaroslavsky. Fundamentals of Digital Image Processing. Course L. Yroslvsky. Fundmentls of Digitl Imge Processing. Course 0555.330 Lecture. Imge enhncement.. Imge enhncement s n imge processing tsk. Clssifiction of imge enhncement methods Imge enhncement is processing

More information

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries Tries Yufei To KAIST April 9, 2013 Y. To, April 9, 2013 Tries In this lecture, we will discuss the following exct mtching prolem on strings. Prolem Let S e set of strings, ech of which hs unique integer

More information

Digimatic Caliper. Digimatic. Linear Height

Digimatic Caliper. Digimatic. Linear Height D Smll Tool Instruments Clipers Height Gges Depth Gges Digimtic Cliper Digimtic Height Gges Liner Height Depth Gges ABSOLUTE Digimtic Cliper ABSOLUTE Coolnt Proof Cliper SuperCliper ABSOLUTE Digimtic Offset

More information

CS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig

CS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig CS311H: Discrete Mthemtics Grph Theory IV Instructor: Işıl Dillig Instructor: Işıl Dillig, CS311H: Discrete Mthemtics Grph Theory IV 1/25 A Non-plnr Grph Regions of Plnr Grph The plnr representtion of

More information

The Distributed Data Access Schemes in Lambda Grid Networks

The Distributed Data Access Schemes in Lambda Grid Networks The Distributed Dt Access Schemes in Lmbd Grid Networks Ryot Usui, Hiroyuki Miygi, Yutk Arkw, Storu Okmoto, nd Noki Ymnk Grdute School of Science for Open nd Environmentl Systems, Keio University, Jpn

More information

Statistical classification of spatial relationships among mathematical symbols

Statistical classification of spatial relationships among mathematical symbols 2009 10th Interntionl Conference on Document Anlysis nd Recognition Sttisticl clssifiction of sptil reltionships mong mthemticl symbols Wl Aly, Seiichi Uchid Deprtment of Intelligent Systems, Kyushu University

More information

Title. How FIFO is Your Concurrent FIFO Queue? Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer. RACES Workshop, October 2012

Title. How FIFO is Your Concurrent FIFO Queue? Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer. RACES Workshop, October 2012 Title How FIFO is Your Concurrent FIFO Queue? Andres Hs, Christoph M. Kirsch, Michel Lipputz, Hnnes Pyer University of Slzurg RACES Workshop, Octoer 2012 1/17 Strict vs. Relxed FIFO Queues strict FIFO

More information

INVESTIGATION OF RESAMPLING EFFECTS ON IRS-1D PAN DATA

INVESTIGATION OF RESAMPLING EFFECTS ON IRS-1D PAN DATA INVESTIGATION OF RESAMPLING EFFECTS ON IRS-D PAN DATA Smpth Kumr P.,*, Onkr Dikshit nd YVS Murthy Geo-Informtics Division, Ntionl Remote Sensing Agency, Hyderd, Indi.-(smpth_k, murthy_yvs)@nrs.gov.in Deprtment

More information

Musical modeling through graphs and orbifolds

Musical modeling through graphs and orbifolds Musicl modeling through grphs nd orbifolds Mtti G. Bergomi December 20 th, 2014 (Unimi - Ircm - UPMC) Geometry in Music Anlysis ATIAM 1 / 18 Topologicl & Geometricl models for Music Chpitre 2. Espces de

More information

? Statistical model for normal network behavior and for abnormal traffic patterns. ? Comparison with majority voting scheme

? Statistical model for normal network behavior and for abnormal traffic patterns. ? Comparison with majority voting scheme Anomly Detection in IP Network Using Sttisticl Signl Processing Introduction? Why re Signl Processing Techniques effective t detecting severl network nomlies? Introducing Sttisticl Signl Processing techniques

More information

UT1553B BCRT True Dual-port Memory Interface

UT1553B BCRT True Dual-port Memory Interface UTMC APPICATION NOTE UT553B BCRT True Dul-port Memory Interfce INTRODUCTION The UTMC UT553B BCRT is monolithic CMOS integrted circuit tht provides comprehensive MI-STD- 553B Bus Controller nd Remote Terminl

More information

LESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE

LESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE LESSONS LEARNED FROM PSIC4: IMPROVING PSI RESULTS FOR A CONSTRAINED TEST SITE Smi Smiei Esfhny, Freek J vn Leijen, Petr Mrinkovic, Gini Ketelr, nd Rmon F Hnssen Delft Institute of Erth Oservtion nd Spce

More information

International Journal of Mechanical Engineering and Applications

International Journal of Mechanical Engineering and Applications Interntionl Journl of Mechnicl Engineering nd Applictions 203; (2) : 28-33 Published online My 30, 203 (http://www.sciencepublishinggroup.com/j/ijme) doi: 0.648/j.ijme.203002. Evlution of intensity of

More information