y1 y2 DEMUX a b x1 x2 x3 x4 NETWORK s1 s2 z1 z2
|
|
- Easter Perkins
- 5 years ago
- Views:
Transcription
1 BOOLEAN METHODS Giovnni De Miheli Stnford University
2 Boolen methods Exploit Boolen properties. { Don't re onditions. Minimiztion of the lol funtions. Slower lgorithms, etter qulity results.
3 Externl don't re onditions Controllility don't re set CDC in : { Input ptterns never produed y the environment t the network's input. Oservility don't re set ODC out : { Input ptterns representing onditions when n output is not oserved y the environment. { Reltive to eh output. { Vetor nottion used: ODC out.
4 Exmple s1 s2 DEMUX x1 x2 x3 x4 NETWORK N1 y1 y2 z1 z2 N2 N3 o1 o2 Inputs driven y de-multiplexer. CDC in = x 0 1 x0 2 x0 3 x0 4 + x 1x2 + x1x3 + x1x4 + x2x3 + x2x4 + x3x4. Outputs oserved when ODC out = x1 x 4 = x 0 1 x 0 1 x 0 4 x
5 Exmple overll externl don't re set DC ext = CDC in +ODC out = x x 2 + x 3 + x 4 x x 2 + x 3 + x 4 x x 2 + x 3 + x 1 x x 2 + x 3 + x
6 Internl don't re onditions x CDC in y z ODC out SUBNETWORK NETWORK
7 Internl don't re onditions Indued y the network struture. Controllility don't re onditions: { Ptterns never produed t the inputs of sunetwork. Oservility don't re onditions: { Ptterns suh tht the outputs of sunetwork re not oserved.
8 Exmple x = + x = + y = x + x y = x + () () CDC of v y inludes 0 x + 0 x 0. Minimize f y to otin: f f y = x + 0.
9 Stisility don't re onditions Invrint of the network: { x = f x! x 6= f x SDC. SDC = X v x 2V G x f x Useful to ompute ontrollility don't res.
10 CDC omputtion Network trversl lgorithm: { Consider dierent uts moving from input to output. Initil CDC is CDC in. Move ut forwrd. { Consider SDC ontriutions of predeessors. { Remove unneded vriles y onsensus.
11 CDC omputtion g CONTROLLABILITY(G n (V E), CDC in ) f C = V I CDC ut = CDC in foreh vertex v x 2 V in topologil order f C = C [ v x CDC ut = CDC ut + f x x D = fv 2 C s.t. ll dir. su. of v re in Cg foreh vertex v y 2 D CDC ut = C y (CDC ut ) C = C ; D g CDC out = CDC ut
12 Exmple d z1 e z2 z1 z2 d z1 e z2 {d,e} d e {,} {,,x4} {x1,,x4} {x1,x2,x3,x4} x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 () () ()
13 Exmple Assume CDC in = x 0 1 x0 4. Selet vertex v : { Contriution to CDC ut : (x 2 x 3 ). { Drop vriles D = fx 2 x 3 g y onsensus: { CDC ut = x 0 1 x0 4. Selet vertex v :... { Contriution to CDC ut : (x 1 + ). CDC ut = x 0 1 x0 4 + (x 1 + ). { Drop vrile x 1 y onsensus: CDC ut = 0 x CDC out = e 0 = z 0 2.
14 CDC omputtion y imge omputtion Network ehvior t ut: f. CDC ut is just the omplement of the imge of (CDC in ) 0 with respet to f. CDC ut is just the omplement of the rnge of f when CDC in =. Rnge n e omputed reursively. { Terminl se: slr funtion. Rnge of y = f(x) is y + y 0 (ny vlue) unless f (or f 0 ) is tutology nd the rnge is y (or y 0 ).
15 Exmple RANGE VECTORS d e rnge(f) = d rnge(( + )j d==1)+ +d 0 rnge(( + )j d==0) When d = 1, then = 1! + = 1 is TAUTOLOGY. If I hoose 1 s top entry in output vetor: { the ottom entry is lso 1. { 1?! 11 When d = 0, then = 0! + = f0 1g. If I hoose 0 s top entry in output vetor: { the ottom entry n e 0 or 1. rnge(f) = de + d 0 (e + e ) = 0 de + d = 0 d + 0 e
16 Exmple d z1 e z2 z1 z2 d z1 e z2 {d,e} d e {,} {,,x4} {x1,,x4} {x1,x2,x3,x4} x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 () () () f = " # " f 1 (x1 + f 2 )(x = 4 + ) (x 1 + ) + (x 4 + ) # " x1 x = 4 + x 1 + x 4 + #
17 Exmple x4 x1 () () () rnge(f) = = d rnge(f 2 j (x 1x4+)=1) + d 0 rnge(f 2 j (x 1x4+)=0) = d rnge(x 1 + x 4 + j (x 1x4+)=1) + d 0 rnge(x 1 + x 4 + j (x 1x4+)=0) = d rnge(1) + d 0 rnge( 0 (x 1 x 4 )) = de + d 0 (e + e ) 0 = e + d 0 CDC out = (e + d 0 ) 0 = de 0 = z 1 z 0 2.
18 Perturtion method Modify network y dding n extr input. Extr input n ip polrity of signl x. Reple lol funtion f x y f x. Pertured terminl ehvior: f x ().
19 Exmple δ x x x y z y z y z () () ()
20 Oservility don't re onditions Conditions under whih hnge in polrity of signl x is not pereived t the outputs. Complement of the Boolen dierene: = fj x=1 fj x=0. Equivlene of pertured funtion: f x (0) f x (1).
21 Oservility don't re omputtion Prolem: { Outputs re not expressed s funtion of ll vriles. { If network is ttened to otin f, it my explode in size. Requirement: { Lol rules for ODC omputtion. { Network trversl.
22 Single-output network with tree struture Trverse network tree. At root: { ODC out is given. At internl verties: { ODC x = (@f y =@x) 0 + ODC y
23 Exmple e = + = x e = x x1 x4 1 2 Assume ODC out = ODC e = 0. ODC = (@f e =@) 0 = ( + )j =1 ( + )j =0 =. ODC = (@f e =@) 0 =. ODC x1 = ODC + (@f =@x1) 0 =
24 Generl networks e x1 x4 Fnout reonvergene. For eh vertex with two (or more) fnout stems: { The ontriution of the ODC long the stems nnot e dded tout ourt. { Interply of dierent pths. More elorte nlysis.
25 Two-wy fnout stem ODC y y z ODC z ODC x,y x x 1 2 ODC x,z x Compute ODC sets ssoited with edges. Comine ODCs t vertex. Formul derivtion: { Assume two equl perturtions on the edges. { ODC x = f x 1 x 2 (1 1) f x 1 x 2 (0 0)
26 ODC formul derivtion ODC x = f x 1 x 2 (1 1) f x 1 x 2 (0 0) = f x 1 x 2 (1 1) f x 1 x 2 (0 0) (f x 1 x 2 (0 1) f x 1 x 2 (0 1)) = (f x 1 x 2 (1 1) f x 1 x 2 (0 1)) (f x 1 x 2 (0 1) f x 1 x 2 (0 0)) = ODC x y j 2 =1 ODC x z j 1 =0 = ODC x y j x2 =x 0 ODC x zj x1 =x = ODC x y j x=x 0 ODC x z Beuse x = x 1 = x 2.
27 Multi-wy stems Theorem Let v x 2 V e ny internl or input vertex. Let fx i i= 1 2 ::: pg e the edge vrs orresponding to f(x y i ) i = 1 2 ::: pg. Let ODC x yi i = 1 2 ::: p the edge ODCs. ODC x = L p i=1 ODC x y i j xi+1 ==x p =x 0
28 Oservility don't re lgorithm OBSERVABILITY(G n (V E), ODC out ) f foreh vertex v x 2 V in reverse topologil order f for (i = 1 to p) ODC x yi = (@f yi =@x) 1 + ODC 0 yi ODC x = L p i=1 ODC x y i j 0 xi+1==x p =x g g
29 Exmple z1 z2 z1 z2 d e d e x1 x2 x3 x4 x1 x2 x3 x4 () () ODCd = 0 1 ODCe = 1 0 ODC = 0 + x 1 + x1 ODC = 0 + x 4 + x4 ODC = ODC j = 0ODC = ODC = = = x 0 0 = x 1x4 x1 + x4 0 0 x x 1 + x4 + x1 0 x x 4 + x1 + x4 4 + x 1 + x4 + x1 ODC = 0 0 x x 4 = + x1 + x4
30 Trnsformtions with don't res Boolen simplition: { Use stndrd minimizer (Espresso). { Minimize the numer of literls. Boolen sustitution: { Simplify funtion y dding n extr input. { Equivlent to simplition with glol don't re onditions.
31 Exmple Boolen sustitution Sustitute q = + d into f h = + d + e to get f h = + q + e. SDC set: q ( + d) = q 0 + q 0 d + q 0 (d) 0. Simplify f h = +d+e with q 0 +q 0 d+q 0 (d) 0 s don't re. Simplition yields f h = + q + e. One literl less y hnging the support of f h.
32 Single-vertex optimiztion SIMPLIFY SV ( G n (V E) )f repet f v x = seleted vertex Compute the lol don't re set DC x Optimize the funtion f x guntil (no more redution is possile) g
33 Optimiztion nd perturtions Reple f x y g x. Perturtion x = f x g x. Condition for fesile replement: { Perturtion ounded y lol don't re set { x DC ext + ODC x { If x not primry input onsider lso CDC set.
34 Exmple δ x y z y x z y x z () () () No externl don't re set. Reple AND y wire: g x = Anlysis: { = f x g x = = 0. { ODC x = y 0 = { = 0 DC x = ) fesile!
35 Degrees of freedom Fully represented y don't re onditions: { Externl don't res. { Internl oservility nd ontrollility. Don't res represent n upper ound on the perturtion. Approximtions: { Use smller don't re sets to speed-up the omputtion.
36 Multiple-vertex optimiztion Simplify more thn one lol funtion t time. Potentilly etter (more generl) pproh. Anlysis: { Multiple perturtions. Condition for fesile replement: { Upper nd lower ounds on the perturtion. { Boolen reltion model.
37 Exmple δ 1 x x z z y y δ2 () () x z x z y y () (d) The two perturtions re relted. Cnnot hnge simultneously: {!. {!.
38 Multiple-vertex optimiztion Boolen reltion model x z y x y f 00, 01, 10 g f 00, 01, 10 g f 00, 01, 10 g f 00, 01, 10 g f 00, 01, 10 g f 00, 01, 10 g f 00, 01, 10 g f 11 g
39 Multiple-vertex optimiztion Boolen reltion model Compute Boolen reltion: { Fltten the network. Anlyze ptterns. { Derive equivlene reltion from ODCs. Use reltion minimizer. Exmple of minimum funtion: x y
40 Multiple-vertex optimiztion Boolen reltion model SIMPLIFY MVR( G n (V E) )f repet f U = seleted vertex suset foreh vertex v x 2 U Compute OCD x Determine the equiv. lsses of the Boolen reltion of the sunetwork indued y U Find n optiml funtion omptile with the reltion using reltion minimizer guntil (no more redution is possile) g
41 Multiple-vertex optimiztion omptile don't res Determine omptile don't res : { CODCs: suset of ODCs. { Deouple dependenies. { Redued degrees of freedom. Using omptile ODCs, only upper ounds on the perturtion need to e stised.
42 Exmple two perturtions First vertex: { CODC equl to its ODC set. { CODC x1 = ODC x1. The seond vertex: { CODC smller thn its ODC to e sfe enough to llow trnsformtions permitted y the rst ODC. { CODC x2 = C x1 (ODC x2 ) + ODC x2 ODC 0 x 1 Order dependene.
43 Exmple rst vertex v y δ 1 x z x z x z y δ2 y y () () CODC y = ODC y = x 0 = ODC x = y 0 = CODC x = C y (ODC x ) + ODC x (ODC y ) 0 = C y (y 0 ) + y 0 x = y 0 x = ( ) = 0.
44 Exmple (2) δ 1 x z x z x z y δ2 y y () () Allowed perturtion: { f y =! g y =. { y = = 0 CODC y = Disllowed perturtion: { f x =! g x =. { x = = 0 6 CODC x = 0. The onverse holds if v x is the rst vertex.
45 Multiple-vertex optimiztion omptile don't res SIMPLIFY MV( G n (V E) )f repet f U = seleted vertex suset foreh vertex v x 2 U Compute COCD x nd the orresponding lol don't re suset g DC x Optimize simultneously the funtions t U guntil (no more redution is possile) g
46 Summry Boolen methods Boolen methods exploit don't re sets nd simplition of logi representtions. Don't re set omputtion: { Controllility nd oservility. Single nd multiple trnsformtions.
47 Synthesis nd testility Testility: { Ese of testing iruit. Assumptions: { Comintionl iruit. { Single or multiple stuk-t fults. Full testility: { Possile to generte test set for ll fults. { Restritive interprettion.
48 Test for stuk-ts Net y stuk-t 0. { Input pttern tht sets y to true. { Oserve output. { Output of fulty iruit diers. Net y stuk-t 1. { Sme, ut set y to flse. Need ontrollility nd oservility.
49 Test sets don't re interprettion Stuk-t 0 on net y. { ftjy(t) ODC 0 y(t) = 1g. Stuk-t 1 on net y. { ftjy 0 (t) ODC 0 y(t) = 1g.
50 Using testing methods for synthesis Redundny removl. { Use TPG to serh for untestle fults. If stuk-t 0 on net y is untestle: { Set y = 0. { Propgte onstnt. If stuk-t 1 on y is untestle: { Set y = 1. { Propgte onstnt.
51 Exmple stuk t 0 y x z () 0 z () z ()
52 Redundny removl nd perturtion nlysis z y x Stuk-t 0 on y. { y set to 0. Nmely g x = f x j y=0. { Perturtion: = f x f x j y=0 = x =@y. Perturtion is fesile, fult is untestle. { No input vetor t n mke y(t) ODC 0 y(t) true. { No input vetor n mke y(t) ODC 0 x =@y true. euse ODC y = ODC x + (@f x =@y) 0.
53 Redundny removl nd perturtion nlysis Assume untestle stuk-t 0 fult. y ODC 0 x =@y SDC: Lol don't re set: { DC x ODC x + y ODC 0 x =@y: { DC x ODC x + x =@y. Perturtion = x =@y. { Inluded in the lol don't re set.
54 Synthesis for testility Synthesize networks tht re fully testle. { Single stuk-t fults. { Multiple stuk-t fults. Two-level forms. Multiple-level networks.
55 Two-level forms Full testility for single stuk-t fults: { Prime nd irredundnt over. Full testility for multiple stuk-t fults: { Prime nd irredundnt over when: Single-output funtion. No produt term shring. Eh omponent is PI.
56 Exmple f = A 1 stuk t 0 A 2 A 3 O 1 A 4
57 Multiple-level networks Denitions A logi network G n (V E), with lol funtions in sum of produt form. Prime nd irredundnt (PI): { No literl nor implint of ny lol funtion n e dropped. Simultneously prime nd irredundnt (SPI): { No suset of literls nd/or implints n e dropped.
58 Multiple-level networks Theorems A logi network is PI nd only if: { its AND-OR implementtion is fully testle for single stuk-t fults. A logi network is SPI if nd only if: { its AND-OR implementtion is fully testle for multiple stuk-t fults.
59 Multiple-level networks Synthesis Compute full lol don't re sets. { Mke ll lol funtions PI w.r. to don't re sets. Pitfll: { Don't res hnge s funtions hnge. Solution: { Itertion (Espresso-MLD). If itertion onverges, network is fully testle.
60 Multiple-level networks Synthesis Fltten to two-level form. { When possile { no size explosion. Mke SPI y disjoint logi minimiztion. Reonstrut multiple-level network: { Algeri trnsformtions preserve multifult testility.
61 Summry Synergy etween synthesis nd testing. Testle networks orrelte to smll-re networks. Don't re onditions ply mjor role.
Unit 4. Combinational Circuits
Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute
More informationm2 m3 m1 (a) (b) (c) n2 n3
Outline LOGIC SYNTHESIS AND TWO-LEVEL LOGIC OPTIMIZATION Giovnni De Miheli Stnford University Overview of logi synthesis. Comintionl-logi design: { Bkground. { Two-level forms. Ext minimiztion. Covering
More informationEngr354: Digital Logic Circuits
Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost
More informationImplication Graphs and Logic Testing
Implition Grphs n Logi Testing Vishwni D. Agrwl Jmes J. Dnher Professor Dept. of ECE, Auurn University Auurn, AL 36849 vgrwl@eng.uurn.eu www.eng.uurn.eu/~vgrwl Joint reserh with: K. K. Dve, ATI Reserh,
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationMetodologie di progetto HW Technology Mapping. Last update: 19/03/09
Metodologie di progetto HW Tehnology Mpping Lst updte: 19/03/09 Tehnology Mpping 2 Tehnology Mpping Exmple: t 1 = + b; t 2 = d + e; t 3 = b + d; t 4 = t 1 t 2 + fg; t 5 = t 4 h + t 2 t 3 ; F = t 5 ; t
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 22 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationAlgorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:
Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer
More information(Lec 9) Multi-Level Min III: Role of Don t Cares
Pge 1 (Le 9) Multi-Level Min III: Role o Don t Cres Wht you know 2-level minimiztion l ESPRESSO Multi-level minimiztion: Boolen network moel, Algeri moel or toring Retngle overing or extrtion Wht you on
More informationOutline Last time: Deriving the State Diagram & Datapath (Cont.) Mapping the Datapath onto Control
Outline Lst time: Deriving the Stte Digrm & Dtpth (Cont.) Mpping the Dtpth onto Control This lecture: Comintionl Testility nd Test-pttern Genertion Fults in digitl circuits Wht is test? : Controllility
More informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationFault Modeling. EE5375 ADD II Prof. MacDonald
Fult Modeling EE5375 ADD II Prof. McDonld Stuck At Fult Models l Modeling of physicl defects (fults) simplify to logicl fult l stuck high or low represents mny physicl defects esy to simulte technology
More informationApril 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.
pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm
More informationMULTIPLE-LEVEL LOGIC OPTIMIZATION II
MUTIPE-EVE OGIC OPTIMIZATION II Booln mthos Eploit Booln proprtis Giovnni D Mihli Don t r onitions Stnfor Univrsit Minimition of th lol funtions Slowr lgorithms, ttr qulit rsults Etrnl on t r onitions
More informationChapter 4 State-Space Planning
Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different
More information22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:
22: Union Fin CS 473u - Algorithms - Spring 2005 April 14, 2005 1 Union-Fin We wnt to mintin olletion of sets, uner the opertions of: 1. MkeSet(x) - rete set tht ontins the single element x. 2. Fin(x)
More informationLecture Notes No. 10
2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite
More informationTutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.
Mth 5 Tutoril Week 1 - Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix
More informationPre-Lie algebras, rooted trees and related algebraic structures
Pre-Lie lgers, rooted trees nd relted lgeri strutures Mrh 23, 2004 Definition 1 A pre-lie lger is vetor spe W with mp : W W W suh tht (x y) z x (y z) = (x z) y x (z y). (1) Exmple 2 All ssoitive lgers
More informationComparing the Pre-image and Image of a Dilation
hpter Summry Key Terms Postultes nd Theorems similr tringles (.1) inluded ngle (.2) inluded side (.2) geometri men (.) indiret mesurement (.6) ngle-ngle Similrity Theorem (.2) Side-Side-Side Similrity
More informationwhere the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b
CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}
More informationBehavior Composition in the Presence of Failure
Behvior Composition in the Presene of Filure Sestin Srdin RMIT University, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Univ. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS
The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationReview of Gaussian Quadrature method
Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge
More informationArrow s Impossibility Theorem
Rep Voting Prdoxes Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Voting Prdoxes Properties Arrow s Theorem Leture Overview 1 Rep
More informationSOLUTIONS TO ASSIGNMENT NO The given nonrecursive signal processing structure is shown as
SOLUTIONS TO ASSIGNMENT NO.1 3. The given nonreursive signl proessing struture is shown s X 1 1 2 3 4 5 Y 1 2 3 4 5 X 2 There re two ritil pths, one from X 1 to Y nd the other from X 2 to Y. The itertion
More informationDorf, R.C., Wan, Z. T- Equivalent Networks The Electrical Engineering Handbook Ed. Richard C. Dorf Boca Raton: CRC Press LLC, 2000
orf, R.C., Wn,. T- Equivlent Networks The Eletril Engineering Hndook Ed. Rihrd C. orf Bo Rton: CRC Press LLC, 000 9 T P Equivlent Networks hen Wn University of Cliforni, vis Rihrd C. orf University of
More informationFujitsu Laboratories of America. 77 Rio Robles, San Jose CA happens when one attempts to compare the functionality. inputs is neglected.
VERIFUL : VERItion using FUntionl Lerning Rjrshi Mukherjee y Dept. of Eletril nd Computer Engineering University of Texs t Austin Austin TX 7872 Astrt It is well known tht lerning (i.e., indiret implitions)
More informationLecture 11 Binary Decision Diagrams (BDDs)
C 474A/57A Computer-Aie Logi Design Leture Binry Deision Digrms (BDDs) C 474/575 Susn Lyseky o 3 Boolen Logi untions Representtions untion n e represente in ierent wys ruth tle, eqution, K-mp, iruit, et
More informationFor a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then
Slrs-7.2-ADV-.7 Improper Definite Integrls 27.. D.dox Pge of Improper Definite Integrls Before we strt the min topi we present relevnt lger nd it review. See Appendix J for more lger review. Inequlities:
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationAbstraction of Nondeterministic Automata Rong Su
Astrtion of Nondeterministi Automt Rong Su My 6, 2010 TU/e Mehnil Engineering, Systems Engineering Group 1 Outline Motivtion Automton Astrtion Relevnt Properties Conlusions My 6, 2010 TU/e Mehnil Engineering,
More informationMath 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)
Green s Theorem Mth 3B isussion Session Week 8 Notes Februry 8 nd Mrh, 7 Very shortly fter you lerned how to integrte single-vrible funtions, you lerned the Fundmentl Theorem of lulus the wy most integrtion
More information12.4 Similarity in Right Triangles
Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right
More informationUniversity of Sioux Falls. MAT204/205 Calculus I/II
University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques
More information1. Logic verification
. Logi verifition Bsi priniples of OBDD s Vrile ordering Network of gtes => OBDD s FDD s nd OKFDD s Resoning out iruits Struturl methods Stisfiility heker Logi verifition The si prolem: prove tht two iruits
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More informationSystem Validation (IN4387) November 2, 2012, 14:00-17:00
System Vlidtion (IN4387) Novemer 2, 2012, 14:00-17:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise
More informationSymmetrical Components 1
Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedy-stte nlysis of high voltge trnsmission systems, we mke use of the per-phse equivlent
More informationPropositional models. Historical models of computation. Application: binary addition. Boolean functions. Implementation using switches.
Propositionl models Historil models of omputtion Steven Lindell Hverford College USA 1/22/2010 ISLA 2010 1 Strt with fixed numer of oolen vriles lled the voulry: e.g.,,. Eh oolen vrile represents proposition,
More informationArrow s Impossibility Theorem
Rep Fun Gme Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Fun Gme Properties Arrow s Theorem Leture Overview 1 Rep 2 Fun Gme 3 Properties
More information8 THREE PHASE A.C. CIRCUITS
8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the so-lled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),
More informationHybrid Systems Modeling, Analysis and Control
Hyrid Systems Modeling, Anlysis nd Control Rdu Grosu Vienn University of Tehnology Leture 5 Finite Automt s Liner Systems Oservility, Rehility nd More Miniml DFA re Not Miniml NFA (Arnold, Diky nd Nivt
More information( ) { } [ ] { } [ ) { } ( ] { }
Mth 65 Prelulus Review Properties of Inequlities 1. > nd > >. > + > +. > nd > 0 > 4. > nd < 0 < Asolute Vlue, if 0, if < 0 Properties of Asolute Vlue > 0 1. < < > or
More information16z z q. q( B) Max{2 z z z z B} r z r z r z r z B. John Riley 19 October Econ 401A: Microeconomic Theory. Homework 2 Answers
John Riley 9 Otober 6 Eon 4A: Miroeonomi Theory Homework Answers Constnt returns to sle prodution funtion () If (,, q) S then 6 q () 4 We need to show tht (,, q) S 6( ) ( ) ( q) q [ q ] 4 4 4 4 4 4 Appeling
More informationMarch eq Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver
Mrh eq Implementing Additionl Resoning into n Effiient Look-Ahed SAT Solver Mrijn Heule, Mrk Dufour, Joris vn Zwieten nd Hns vn Mren Deprtment of Informtion Systems nd Algorithms, Fulty of Eletril Engineering,
More informationMAT 403 NOTES 4. f + f =
MAT 403 NOTES 4 1. Fundmentl Theorem o Clulus We will proo more generl version o the FTC thn the textook. But just like the textook, we strt with the ollowing proposition. Let R[, ] e the set o Riemnn
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationLecture Summaries for Multivariable Integral Calculus M52B
These leture summries my lso be viewed online by liking the L ion t the top right of ny leture sreen. Leture Summries for Multivrible Integrl Clulus M52B Chpter nd setion numbers refer to the 6th edition.
More informationGenetic Programming. Outline. Evolutionary Strategies. Evolutionary strategies Genetic programming Summary
Outline Genetic Progrmming Evolutionry strtegies Genetic progrmming Summry Bsed on the mteril provided y Professor Michel Negnevitsky Evolutionry Strtegies An pproch simulting nturl evolution ws proposed
More informationData Structures and Algorithm. Xiaoqing Zheng
Dt Strutures nd Algorithm Xioqing Zheng zhengxq@fudn.edu.n String mthing prolem Pttern P ours with shift s in text T (or, equivlently, tht pttern P ours eginning t position s + in text T) if T[s +... s
More informationChapter Gauss Quadrature Rule of Integration
Chpter 7. Guss Qudrture Rule o Integrtion Ater reding this hpter, you should e le to:. derive the Guss qudrture method or integrtion nd e le to use it to solve prolems, nd. use Guss qudrture method to
More informationMatrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix
tries Definition of tri mtri is regulr rry of numers enlosed inside rkets SCHOOL OF ENGINEERING & UIL ENVIRONEN Emple he following re ll mtries: ), ) 9, themtis ), d) tries Definition of tri Size of tri
More informationModel Reduction of Finite State Machines by Contraction
Model Reduction of Finite Stte Mchines y Contrction Alessndro Giu Dip. di Ingegneri Elettric ed Elettronic, Università di Cgliri, Pizz d Armi, 09123 Cgliri, Itly Phone: +39-070-675-5892 Fx: +39-070-675-5900
More informationFinite Automata-cont d
Automt Theory nd Forml Lnguges Professor Leslie Lnder Lecture # 6 Finite Automt-cont d The Pumping Lemm WEB SITE: http://ingwe.inghmton.edu/ ~lnder/cs573.html Septemer 18, 2000 Exmple 1 Consider L = {ww
More informationCombinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So.
5/9/ Comintionl Logic ENGG05 st Semester, 0 Dr. Hyden So Representtions of Logic Functions Recll tht ny complex logic function cn e expressed in wys: Truth Tle, Boolen Expression, Schemtics Only Truth
More informationSolutions to Assignment 1
MTHE 237 Fll 2015 Solutions to Assignment 1 Problem 1 Find the order of the differentil eqution: t d3 y dt 3 +t2 y = os(t. Is the differentil eqution liner? Is the eqution homogeneous? b Repet the bove
More informationCan one hear the shape of a drum?
Cn one her the shpe of drum? After M. K, C. Gordon, D. We, nd S. Wolpert Corentin Lén Università Degli Studi di Torino Diprtimento di Mtemti Giuseppe Peno UNITO Mthemtis Ph.D Seminrs Mondy 23 My 2016 Motivtion:
More informationLearning Partially Observable Markov Models from First Passage Times
Lerning Prtilly Oservle Mrkov s from First Pssge s Jérôme Cllut nd Pierre Dupont Europen Conferene on Mhine Lerning (ECML) 8 Septemer 7 Outline. FPT in models nd sequenes. Prtilly Oservle Mrkov s (POMMs).
More informationCS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014
S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown
More informationA Study on the Properties of Rational Triangles
Interntionl Journl of Mthemtis Reserh. ISSN 0976-5840 Volume 6, Numer (04), pp. 8-9 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn
More informationEfficient Implication - Based Untestable Bridge Fault Identifier*
Efficient Impliction - Bsed Untestle Bridge Fult Identifier* Mnn Syl, Michel S. Hsio, Kirn B. Doreswmy nd Sreejit Chkrvrty Brdley Deprtment of Electricl nd Computer Engineering, Virgini Tech, Blcksurg,
More informationGeneralization of 2-Corner Frequency Source Models Used in SMSIM
Generliztion o 2-Corner Frequeny Soure Models Used in SMSIM Dvid M. Boore 26 Mrh 213, orreted Figure 1 nd 2 legends on 5 April 213, dditionl smll orretions on 29 My 213 Mny o the soure spetr models ville
More informationAlpha Algorithm: Limitations
Proess Mining: Dt Siene in Ation Alph Algorithm: Limittions prof.dr.ir. Wil vn der Alst www.proessmining.org Let L e n event log over T. α(l) is defined s follows. 1. T L = { t T σ L t σ}, 2. T I = { t
More informationTIME AND STATE IN DISTRIBUTED SYSTEMS
Distriuted Systems Fö 5-1 Distriuted Systems Fö 5-2 TIME ND STTE IN DISTRIUTED SYSTEMS 1. Time in Distriuted Systems Time in Distriuted Systems euse eh mhine in distriuted system hs its own lok there is
More informationCS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University
CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted
More informationANALYSIS AND MODELLING OF RAINFALL EVENTS
Proeedings of the 14 th Interntionl Conferene on Environmentl Siene nd Tehnology Athens, Greee, 3-5 Septemer 215 ANALYSIS AND MODELLING OF RAINFALL EVENTS IOANNIDIS K., KARAGRIGORIOU A. nd LEKKAS D.F.
More informationGlobal alignment. Genome Rearrangements Finding preserved genes. Lecture 18
Computt onl Biology Leture 18 Genome Rerrngements Finding preserved genes We hve seen before how to rerrnge genome to obtin nother one bsed on: Reversls Knowledge of preserved bloks (or genes) Now we re
More information10 Vector Integral Calculus
Vector Integrl lculus Vector integrl clculus extends integrls s known from clculus to integrls over curves ("line integrls"), surfces ("surfce integrls") nd solids ("volume integrls"). These integrls hve
More informationTransition systems (motivation)
Trnsition systems (motivtion) Course Modelling of Conurrent Systems ( Modellierung neenläufiger Systeme ) Winter Semester 2009/0 University of Duisurg-Essen Brr König Tehing ssistnt: Christoph Blume In
More informationChapter 3. Vector Spaces. 3.1 Images and Image Arithmetic
Chpter 3 Vetor Spes In Chpter 2, we sw tht the set of imges possessed numer of onvenient properties. It turns out tht ny set tht possesses similr onvenient properties n e nlyzed in similr wy. In liner
More informationSection 1.3 Triangles
Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior
More informationNow we must transform the original model so we can use the new parameters. = S max. Recruits
MODEL FOR VARIABLE RECRUITMENT (ontinue) Alterntive Prmeteriztions of the pwner-reruit Moels We n write ny moel in numerous ifferent ut equivlent forms. Uner ertin irumstnes it is onvenient to work with
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 0-04 Exerise - 05-09 Exerise - 09-3 Exerise - 3 4-5 Exerise - 4 6 Answer Key 7-8 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More informationState space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies
Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response
More informationWelcome. Balanced search trees. Balanced Search Trees. Inge Li Gørtz
Welome nge Li Gørt. everse tehing n isussion of exerises: 02110 nge Li Gørt 3 tehing ssistnts 8.00-9.15 Group work 9.15-9.45 isussions of your solutions in lss 10.00-11.15 Leture 11.15-11.45 Work on exerises
More information= state, a = reading and q j
4 Finite Automt CHAPTER 2 Finite Automt (FA) (i) Derterministi Finite Automt (DFA) A DFA, M Q, q,, F, Where, Q = set of sttes (finite) q Q = the strt/initil stte = input lphet (finite) (use only those
More informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More informationVECTOR ALGEBRA. Syllabus :
MV VECTOR ALGEBRA Syllus : Vetors nd Slrs, ddition of vetors, omponent of vetor, omponents of vetor in two dimensions nd three dimensionl spe, slr nd vetor produts, slr nd vetor triple produt. Einstein
More informationCS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS
CS 310 (sec 20) - Winter 2003 - Finl Exm (solutions) SOLUTIONS 1. (Logic) Use truth tles to prove the following logicl equivlences: () p q (p p) (q q) () p q (p q) (p q) () p q p q p p q q (q q) (p p)
More informationThe Word Problem in Quandles
The Word Prolem in Qundles Benjmin Fish Advisor: Ren Levitt April 5, 2013 1 1 Introdution A word over n lger A is finite sequene of elements of A, prentheses, nd opertions of A defined reursively: Given
More informationexpression simply by forming an OR of the ANDs of all input variables for which the output is
2.4 Logic Minimiztion nd Krnugh Mps As we found ove, given truth tle, it is lwys possile to write down correct logic expression simply y forming n OR of the ANDs of ll input vriles for which the output
More informationA Symbolic Approach to Control via Approximate Bisimulations
A Symolic Approch to Control vi Approximte Bisimultions Antoine Girrd Lortoire Jen Kuntzmnn, Université Joseph Fourier Grenole, Frnce Interntionl Symposium on Innovtive Mthemticl Modelling Tokyo, Jpn,
More informationNecessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )
Neessry n suient onitions for some two vrile orthogonl esigns in orer 44 C. Koukouvinos, M. Mitrouli y, n Jennifer Seerry z Deite to Professor Anne Penfol Street Astrt We give new lgorithm whih llows us
More informationCS12N: The Coming Revolution in Computer Architecture Laboratory 2 Preparation
CS2N: The Coming Revolution in Computer Architecture Lortory 2 Preprtion Ojectives:. Understnd the principle of sttic CMOS gte circuits 2. Build simple logic gtes from MOS trnsistors 3. Evlute these gtes
More informationBehavior Composition in the Presence of Failure
Behior Composition in the Presene of Filure Sestin Srdin RMIT Uniersity, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Uni. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re t
More informationAlgebra 2 Semester 1 Practice Final
Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers
More informationFormal Languages and Automata
Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt Chun-Ming Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University
More informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More informationWorksheet #2 Math 285 Name: 1. Solve the following systems of linear equations. The prove that the solutions forms a subspace of
Worsheet # th Nme:. Sole the folloing sstems of liner equtions. he proe tht the solutions forms suspe of ) ). Find the neessr nd suffiient onditions of ll onstnts for the eistene of solution to the sstem:.
More informationCARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005
RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).
More informationEigenvectors and Eigenvalues
MTB 050 1 ORIGIN 1 Eigenvets n Eigenvlues This wksheet esries the lger use to lulte "prinipl" "hrteristi" iretions lle Eigenvets n the "prinipl" "hrteristi" vlues lle Eigenvlues ssoite with these iretions.
More informationA Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version
A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 11365-9415, Tehrn, Irn Deprtment
More informationTHREE DIMENSIONAL GEOMETRY
MD THREE DIMENSIONAL GEOMETRY CA CB C Coordintes of point in spe There re infinite numer of points in spe We wnt to identif eh nd ever point of spe with the help of three mutull perpendiulr oordintes es
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
More informationDiscrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More information