Chapter 2: Combinational Logic Design. Instructor: Dr. Hyunyoung Lee. Based on the slides by Frank Vahid
|
|
- Delphia Singleton
- 6 years ago
- Views:
Transcription
1 Chpter 2: Comintionl Logic Design Instructor: Dr. Hunoung Lee Bsed on the slides rnk Vhid Copright 2 rnk Vhid Instructors of courses requiring Vhid's Digitl Design tetook (pulished John Wile nd Sons) hve permission to modif nd use these slides for customr course-relted ctivities, suject to keeping this copright notice in plce nd unmodified. These slides m e posted s unnimted pdf versions on pulicl-ccessile course wesites.. PowerPoint source (or pdf with nimtions) Digitl m Design not e posted 2e to pulicl-ccessile wesites, ut m e posted for students on internl protected sites or distriuted directl to students other electronic mens. Instructors m Copright mke printouts 2 of the slides ville to students for resonle photocoping chrge, without incurring rolties. An other use requires eplicit permission. Instructors m otin PowerPoint rnk Vhid source or otin specil use permissions from Wile see for informtion.
2 Introduction 2. Let s lern to design digitl circuits, strting with simple form of circuit: Comintionl circuit Outputs depend solel on the present comintion of the circuit inputs vlues Vs. sequentil circuit: Hs memor tht impcts outputs too () = Digitl = Sstem = Digitl = Sstem if =, then = if =, then = Digitl Design 2e Copright 2 rnk Vhid () Motion sensor Light sensor Digitl Sstem Lmp Note: Slides with nimtion re denoted with smll red "" ner the nimted items if = nd =, then = if = nd =, then = if = nd =, then = if = nd =, then = (c) = Digitl = Sstem = Digitl = Sstem = Digitl = Sstem Cnnot determine vlue of solel from present input vlue 2
3 Switches 2.2 Electronic switches re the sis of inr digitl circuits Electricl terminolog Voltge: Difference in electric potentil etween two points (volts, V) Anlogous to wter pressure Current: low of chrged prticles (mps, A) Anlogous to wter flow Resistnce: Tendenc of wire to resist current flow (ohms, Ω) Anlogous to wter pipe dimeter V = I * R (Ohm s Lw) 9 V = I * 2 ohms I = 4.5 A 4.5 A V 9 V 2 ohms 4.5 A If 9V potentil difference is pplied cross 2 ohm resistor, then 4.5 A of current will flow. + 9V 4.5 A Digitl Design 2e Copright 2 rnk Vhid 3
4 Switches A switch hs three prts Source input, nd output control input off Current tries to flow from source input to output Control input Voltge tht controls whether tht current cn flow The mzing shrinking switch 93s: Rels 94s: Vcuum tues 95s: Discrete trnsistor 96s: Integrted circuits (ICs) Initill just few trnsistors on IC Then tens, hundreds, thousnds... rel source input source input control input () discrete trnsistor vcuum tue output on output IC Digitl Design 2e Copright 2 rnk Vhid qurter (to see the reltive size) 4
5 Moore s Lw IC cpcit douling out ever 8 months for severl decdes Known s Moore s Lw fter Gordon Moore, co-founder of Intel Predicted in 965 tht components per IC would doule roughl ever er or so Book cover depicts relted phenomen or prticulr numer of trnsistors, the IC re shrinks hlf ever 8 months Consider how much shrinking occurs in just ers (tr drwing it) Enles incredil powerful computtion in incredil tin devices Tod s ICs hold illions of trnsistors The first Pentium processor (erl 99s) needed onl 3 million Digitl Design 2e Copright 2 rnk Vhid An Intel Pentium processor IC hving millions of trnsistors 5
6 The CMOS Circuit 2.3 CMOS (Complementr metl oide semiconductor) circuit Bsic switch in modern ICs A positive voltge here... source gte oide drin...ttrcts electrons here, turning the chnnel etween the source nd drin into conductor IC pckge Silicon -- not quite conductor or insultor: Semiconductor IC Digitl Design 2e Copright 2 rnk Vhid 6
7 The CMOS Circuit 2.3 CMOS (Complementr metl oide semiconductor) circuit Bsic switch in modern ICs A positive voltge here......ttrcts electrons here, turning the chnnel etween the source nd drin into conductor nmos gte gte source oide drin IC pckge conducts does not conduct pmos () IC gte Silicon -- not quite conductor or insultor: Semiconductor does not conduct conducts Digitl Design 2e Copright 2 rnk Vhid 6
8 Boolen Logic Gtes Building Blocks for Digitl Circuits (Becuse Switches re Hrd to Work With) 2.4 Logic gtes re etter digitl circuit uilding locks thn switches (trnsistors) Wh?... Digitl Design 2e Copright 2 rnk Vhid 8
9 Boolen Alger nd its Reltion to Digitl Circuits To understnd the enefits of logic gtes vs. switches, we should first understnd Boolen lger Trditionl lger Vriles represent rel numers (, ) Opertors operte on vriles, return rel numers (2.5* + - 3) Boolen Alger Vriles represent or onl Opertors return or onl Bsic opertors AND: AND returns onl when oth = nd = OR: OR returns if either (or oth) = or = NOT: NOT returns the opposite of ( if =, if =) AND NOT OR Digitl Design 2e Copright 2 rnk Vhid 9
10 Boolen Alger nd its Reltion to Digitl Circuits Developed mid-8 s George Boole to formlize humn thought E: I ll go to lunch if Mr goes OR John goes, AND Sll does not go. Let represent m going to lunch ( mens I go, I don t go) Likewise, m for Mr going, j for John, nd s for Sll Then = (m OR j) AND NOT(s) Nice fetures ormll evlute m=, j=, s= --> = ( OR ) AND NOT() = AND = ormll trnsform = (m nd NOT(s)) OR (j nd NOT(s))» Looks different, ut sme function» We ll show trnsformtion techniques soon ormll prove Prove tht if Sll goes to lunch (s=), then I don t go (=) = (m OR j) AND NOT() = (m OR j) AND = AND OR NOT Digitl Design 2e Copright 2 rnk Vhid
11 Evluting Boolen Equtions Evlute the Boolen eqution = ( AND ) OR (c AND d) for the given vlues of vriles,, c, nd d: Q: =, =, c=, d=. Answer: = ( AND ) OR ( AND ) = OR =. Q2: =, =, c=, d=. Answer: = ( AND ) OR ( AND ) = OR =. Q3: =, =, c=, d=. Answer: = ( AND ) OR ( AND ) = OR =. AND OR NOT Digitl Design 2e Copright 2 rnk Vhid
12 Converting to Boolen Equtions Convert the following English sttements to Boolen eqution Q. is nd is. Answer: = AND Q2. either of or is. Answer: = OR Q3. is nd is. Answer: = AND NOT() Q4. is not. Answer: () Option : = NOT(NOT()) () Option 2: = Digitl Design 2e Copright 2 rnk Vhid 2
13 Converting to Boolen Equtions Q. A fire sprinkler sstem should spr wter if high het is sensed nd the sstem is set to enled. Answer: Let Boolen vrile h represent high het is sensed, e represent enled, nd represent spring wter. Then n eqution is: = h AND e. Q2. A cr lrm should sound if the lrm is enled, nd either the cr is shken or the door is opened. Answer: Let represent lrm is enled, s represent cr is shken, d represent door is opened, nd represent lrm sounds. Then n eqution is: = AND (s OR d). () Alterntivel, ssuming tht our door sensor d represents door is closed insted of open (mening d= when the door is closed, when open), we otin the following eqution: = AND (s OR NOT(d)). Digitl Design 2e Copright 2 rnk Vhid 3
14 Relting Boolen Alger to Digitl Design Boolen Boole s intent: formlize lger humn thought (mid-8s) Smol NOT OR AND Switches or telephone (93s) switching nd other electronic uses Truth tle Showed ppliction Shnnon (938) of Boolen lger to design of switchsed circuits Trnsistor circuit Digitl design Implement Boolen opertors using trnsistors Cll those implementtions logic gtes. Let us uild circuits doing mth - powerful concept Digitl Design 2e Copright 2 rnk Vhid.8 V.2 V.6 V V nd ech ctull corresponds to voltge rnge Net slides show how these circuits work. Note: The ove OR/AND implementtions re inefficient; we ll show wh, nd show etter ones, lter. 4
15 NOT gte (Inverter) () () When the input is When the input is time Digitl Design 2e Copright 2 rnk Vhid 5
16 OR gte () () time When n input is When oth inputs re Digitl Design 2e Copright 2 rnk Vhid 6
17 AND gte () () time When oth inputs re When n input is Digitl Design 2e Copright 2 rnk Vhid 7
18 Building Circuits Using Gtes Recll Chpter motion-in-drk emple Turn on lmp (=) when motion sensed (=) nd no light (=) = AND NOT() Build using logic gtes, AND nd NOT, s shown We just uilt our first digitl circuit! Digitl Design 2e Copright 2 rnk Vhid 8
19 Emple: Converting Boolen Eqution to Circuit of Logic Gtes Strt from the output, work ck towrds the inputs Q: Convert the following eqution to logic gtes: = AND NOT( OR NOT(c) ) c Digitl Design 2e Copright 2 rnk Vhid 9
20 More emples = AND (s OR d) 2 = ( AND NOT()) OR ( AND NOT(c)) 2 3 s d () c () Strt from the output, work ck towrds the inputs Digitl Design 2e Copright 2 rnk Vhid 2
21 Using gtes with more thn 2 inputs = AND AND c c c () () Cn think of s AND(,,c) Digitl Design 2e Copright 2 rnk Vhid 2
22 Emple: Set Belt Wrning Light Sstem Design circuit for wrning light Sensors s=: set elt fstened k=: ke inserted Cpture Boolen eqution set elt not fstened, nd ke inserted Convert eqution to circuit w = NOT(s) AND D k k s BeltWrn w Timing digrm illustrtes circuit ehvior We set inputs to n vlues Output set ccording to circuit Inputs k s Outputs w Setelt Digitl Design 2e Copright 2 rnk Vhid time 22
23 Gtes vs. switches Notice Boolen lger enles es cpture s eqution nd conversion to circuit How design with switches? Of course, logic gtes re uilt from switches, ut we think t level of logic gtes, not switches BeltWrn w = NOT(s) AND k s BeltWrn w k w k s Digitl Design 2e Copright 2 rnk Vhid Setelt 23
24 More emples: Set elt wrning light etensions Onl illuminte wrning light if person is in the set (p=), nd set elt not fstened nd ke inserted w = p AND NOT(s) AND k k p s Belt Wrn w Given t= for 5 seconds fter ke inserted. Turn on wrning light when t= (to check tht wrning lights re working) w = (p AND NOT(s) AND k) OR t k p s t BeltWrn w Digitl Design 2e Copright 2 rnk Vhid 24
25 Some Gte-Bsed Circuit Drwing Conventions no es no es ok not ok Digitl Design 2e Copright 2 rnk Vhid 25
26 Boolen Alger 2.5 B defining logic gtes sed on Boolen lger, we cn use lgeric methods to mnipulte circuits Nottion: Writing AND, OR, NOT() is cumersome Use smols: * (or just ), +, nd Originl: w = (p AND NOT(s) AND k) OR t New: w = ps k + t Spoken s w equls p nd s prime nd k, or t Or just w equls p s prime k, or t s known s complement of s While smols come from regulr lger, don t s times or plus "product" nd "sum" re OK nd commonl used Boolen lger precedence, highest precedence first. Smol Nme Description ( ) Prentheses Evlute epressions nested in prentheses first NOT Evlute from left to right Digitl Design 2e Copright 2 rnk Vhid * AND Evlute from left to right + OR Evlute from left to right 26
27 Boolen Alger Opertor Precedence Evlute the following Boolen equtions, ssuming =, =, c=, d=. Q. = * + c. Answer: * hs precedence over +, so we evlute the eqution s = ( *) + = () + = + =. Q2. = + c. Answer: the prolem is identicl to the previous prolem, using the shorthnd nottion for *. Q3. =. Answer: we first evlute ecuse NOT hs precedence over AND, resulting in = * ( ) = * () = * =. Q4. = (c). Answer: we first evlute wht is inside the prentheses, then we NOT the result, ielding (*) = () = =. Q5. = ( + ) * c + d. Answer: Inside left prentheses: ( + ( )) = ( + ()) = ( + ) =. Net, * hs precedence over +, ielding ( * ) + = () +. The NOT hs precedence over the OR, giving () + ( ) = () + () = + =. Boolen lger precedence, highest precedence first. Smol Nme Description ( ) Prentheses Evlute epressions nested in prentheses first Digitl Design 2e Copright 2 rnk Vhid NOT Evlute from left to right * AND Evlute from left to right + OR Evlute from left to right 27
28 Boolen Alger Terminolog Emple eqution: (,,c) = c + c + + c Vrile Represents vlue ( or ) Three vriles:,, nd c Literl Appernce of vrile, in true or complemented form Nine literls:,, c,,, c,,, nd c Product term Product of literls our product terms: c, c,, c Sum-of-products Eqution written s OR of product terms onl Aove eqution is in sum-of-products form. = (+)c + d is not. Digitl Design 2e Copright 2 rnk Vhid 28
29 Boolen Alger Properties Commuttive + = + * = * Distriutive * ( + c) = * + * c Cn write s: (+c) = + c + ( * c) = ( + ) * ( + c) (This second one is trick!) Cn write s: +(c) = (+)(+c) Associtive ( + ) + c = + ( + c) ( * ) * c = * ( * c) Identit + = + = * = * = Complement + = * = To prove, just evlute ll possiilities Emple uses of the properties Show c equivlent to c. Use commuttive propert: **c = *c * = c ** = c ** Show c + c =. Use first distriutive propert c + c = (c+c ). Complement propert Replce c+c : (c+c ) = (). Identit propert () = * =. Show + z equivlent to + z. Second distriutive propert Replce + z (+ )*(+z). Complement propert Replce (+ ), Identit propert replce *(+z) +z. Digitl Design 2e Copright 2 rnk Vhid 29
30 Emple tht Applies Boolen Alger Properties Wnt utomtic door opener circuit (e.g., for grocer store) Output: f= opens door Inputs: p=: person detected h=: switch forcing hold open c=: ke forcing closed Wnt open door when h= nd c=, or h= nd p= nd c= Eqution: f = hc + h pc h c p DoorOpener f Cn the circuit e simplified? f = hc' + h'pc f = c'h + c'h'p ( the commuttive propert) f = c'(h + h'p) ( the first distri. propert) f = c'((h+h')*(h+p)) (2nd distri. prop.; trick one) f = c'(()*(h + p)) ( the complement propert) f = c'(h+p) ( the identit propert) c h p DoorOpener f Simplified circuit Digitl Design 2e Copright 2 rnk Vhid Simplifiction of circuits is covered in Sec. 2. / Sec
31 Emple tht Applies Boolen Alger Properties Commuttive + = + * = * Distriutive * ( + c) = * + * c + ( * c) = ( + ) * ( + c) Associtive ( + ) + c = + ( + c) ( * ) * c = * ( * c) Identit + = + = * = * = Complement + = * = ound inepensive chip tht computes: f = c hp + c hp + c h p Cn we use it for the door opener? Is it the sme s f = hc + h pc? Appl Boolen lger: f = c hp + c hp + c h p f = c h(p + p ) + c h p ( the distriutive propert) f = c h() + c h p ( the complement propert) f = c h + c h p f = hc + h pc Sme! Yes, we cn use it. ( the identit propert) ( the commuttive propert) h c p DoorOpener f Digitl Design 2e Copright 2 rnk Vhid 3
32 Boolen Alger: Additionl Properties Null elements + = * = Idempotent Lw + = * = Involution Lw ( ) = DeMorgn s Lw ( + ) = () = + Ver useful! To prove, just evlute ll possiilities Digitl Design 2e Copright 2 rnk Vhid 32
33 Emple Appling DeMorgn s Lw ( + ) = () = + Aircrft lvtor sign emple c Circuit Behvior Three lvtories, ech with sensor (,, c), equls if door locked Light Aville sign (S) if n lvtor ville Eqution nd circuit S = + + c Trnsform (c) = + +c ( DeMorgn s Lw) S = (c) New circuit S c Circuit S Alterntive: Insted of lighting Aville, light Occupied Opposite of Aville function S = + + c So S = ( + + c ) S = ( ) * ( ) * (c ) ( DeMorgn s Lw) S = * * c ( Involution Lw) Mkes intuitive sense Occupied if ll doors re locked Digitl Design 2e Copright 2 rnk Vhid 33
34 Commuttive + = + * = * Distriutive * ( + c) = * + * c + ( * c) = ( + ) * ( + c) Associtive ( + ) + c = + ( + c) ( * ) * c = * ( * c) Identit + = + = * = * = Complement + = * = Digitl Design 2e Copright 2 rnk Vhid Emple Appling Properties Null elements + = * = Idempotent Lw + = * = Involution Lw ( ) = DeMorgn s Lw ( + ) = () = + or door opener f = c'(h+p), prove door sts closed (f=) when c= f = c'(h+p) Let c = (door forced closed) f = '(h+p) f = (h+p) f = h + p ( the distriutive propert) f = + ( the null elements propert) f = 34
35 Complement of unction Commonl wnt to find complement (inverse) of function when is ; when is Use DeMorgn s Lw repetedl Note: DeMorgn s Lw defined for more thn two vriles, e.g.: ( + + c)' = (c)' (c)' = (' + ' + c') Complement of f = w' + w''z' f ' = (w' + w''z')' f ' = (w')'(w''z')' ( DeMorgn s Lw) f ' = (w+'+')(w'+++z) ( DeMorgn s Lw) Cn then epnd into sum-of-products form Digitl Design 2e Copright 2 rnk Vhid 35
36 Representtions of Boolen unctions 2.6 English : outputs when is nd is, or when is nd is. () Eqution : (,) = + Eqution 2: (,) = () English 2: outputs when is, regrdless of s vlue (c) Circuit Truth tle (d) Circuit 2 The function A function cn e represented in different ws Aove shows seven representtions of the sme functions (,), using four different methods: English, Eqution, Circuit, nd Truth Tle Digitl Design 2e Copright 2 rnk Vhid 36
37 Digitl Design 2e Copright 2 rnk Vhid 37 Truth Tle Representtion of Boolen unctions Define vlue of for ech possile comintion of input vlues 2-input function: 4 rows 3-input function: 8 rows 4-input function: 6 rows Q: Use truth tle to define function (,,c) tht is when c is 5 or greter in inr () c () c d (c) c
38 Converting mong Representtions Cn convert from n representtion to nother Common conversions Eqution to circuit (we did this erlier) Circuit to eqution Strt t inputs, write epression of ech gte output Equtions Truth tles 6 Circuits 5 c c' h p h+p = c'(h+p) Digitl Design 2e Copright 2 rnk Vhid 38
39 Converting mong Representtions More common conversions Truth tle to eqution (which we cn then convert to circuit) Es just OR ech input term tht should output Eqution to truth tle Es just evlute eqution for ech input comintion (row) Creting intermedite columns helps Equtions 3 Inputs 4 2 Truth tles Outputs 6 Circuits Term 5 = sum of = + Q: Convert to truth tle: = + Digitl Design 2e Copright 2 rnk Vhid Inputs ' ' ' Output Q: Convert to eqution c c c c = c + c + c 39
40 Emple: Converting from Truth Tle to Eqution Prit it: Etr it dded to dt, intended to enle detection of error ( it chnged unintentionll) e.g., errors cn occur on wires due to electricl interference Even prit: Set prit it so totl numer of s (dt + prit) is even e.g., if dt is, prit it is hs even numer of s Wnt eqution, ut esiest to strt from truth tle for this emple c P Convert to eqn. P = ''c + 'c' + 'c' + c Digitl Design 2e Copright 2 rnk Vhid
41 Digitl Design 2e Copright 2 rnk Vhid 4 Emple: Converting from Circuit to Truth Tle irst convert circuit to eqution, then eqution to tle c c' ()' ()'c' c ()' c' Inputs Outputs
42 Stndrd Representtion: Truth Tle How cn we determine if two functions re the sme? Recll utomtic door emple Sme s f = hc + h pc? Used lgeric methods But if we filed, does tht prove not equl? No. Solution: Convert to truth tles Onl ONE truth tle representtion of given function Stndrd representtion for given function, onl one version in stndrd form eists Digitl Design 2e Copright 2 rnk Vhid f = c hp + c hp + c h f = c h(p + p ) + c h p f = c h() + c h p f = c h + c h p (wht if we stopped here?) f = hc + h pc Q: Determine if =+ is sme function s = + +, converting ech to truth tle first = + ' = + + Sme 42
43 Truth Tle Cnonicl orm Q: Determine vi truth tles whether +' nd (+)' re equivlent = + ' = (+)' Not equivlent Digitl Design 2e Copright 2 rnk Vhid 43
44 Cnonicl orm Sum of Minterms Truth tles too ig for numerous inputs Use stndrd form of eqution insted Known s cnonicl form Regulr lger: group terms of polnomil power c ( > ) Boolen lger: crete sum of minterms Minterm: product term with ever function vrile ppering ectl once, in true or complemented form Just multipl-out eqution until sum of product terms Then epnd ech term until ll terms re minterms Q: Determine if (,)=+ is equivlent to (,)= + +, converting first eqution to cnonicl form (second lred is) Digitl Design 2e Copright 2 rnk Vhid = + (lred sum of products) = + (+ ) (epnding term) = + + (Equivlent sme three terms s other eqution) 44
45 Cnonicl orm Sum of Minterms Q: Determine whether the functions G(,,c,d,e) = cd + 'cde nd H(,,c,d,e) = cde + cde' + 'cde + 'cde(' + c) re equivlent. G = cd + 'cde G = cd(e+e') + 'cde G = cde + cde' + 'cde G = 'cde + cde' + cde (sum of minterms form) Equivlent Digitl Design 2e Copright 2 rnk Vhid H = cde + cde' + 'cde + 'cde(' + c) H = cde + cde' + 'cde + 'cde' + 'cdec H = cde + cde' + 'cde + 'cde + 'cde H = cde + cde' + 'cde H = 'cde + cde' + cde 45
46 Compct Sum of Minterms Representtion List ech minterm s numer Numer determined from the inr representtion of its vriles vlues 'cde corresponds to, or 5 cde' corresponds to, or 3 cde corresponds to, or 3 Thus, H = 'cde + cde' + cde cn e written s: H = m(5,3,3) "H is the sum of minterms 5, 3, nd 3" Digitl Design 2e Copright 2 rnk Vhid 46
47 Multiple-Output Circuits Mn circuits hve more thn one output Cn give ech seprte circuit, or cn shre gtes E: = + c, G = + c c c G G () Option : Seprte circuits () Option 2: Shred gtes Digitl Design 2e Copright 2 rnk Vhid 47
48 Multiple-Output Emple: BCD to 7-Segment Converter w z Converter f g e c d f g e c d cdefg = () () Digitl Design 2e Copright 2 rnk Vhid 48
49 Multiple-Output Emple: BCD to 7-Segment Converter f g e c d = w z +w z +w z+w z+ w z +w z+w z +w z = w z +w z+w z +w z+ w z +w z+w z +w z... Digitl Design 2e Copright 2 rnk Vhid 49
50 Comintionl Logic Design Process 2.7 Step : Cpture ehvior Step Cpture the function Description Crete truth tle or equtions, whichever is most nturl for the given prolem, to descrie the desired ehvior of ech output of the comintionl logic. Step 2: Convert to circuit 2A: Crete equtions 2B: Implement s gtesed circuit This sustep is onl necessr if ou cptured the function using truth tle insted of equtions. Crete n eqution for ech output ORing ll the minterms for tht output. Simplif the equtions if desired. or ech output, crete circuit corresponding to the output s eqution. (Shring gtes mong multiple outputs is OK optionll.) Digitl Design 2e Copright 2 rnk Vhid 5
51 Emple: Three s Pttern Detector Prolem: Detect three consecutive s in 8-it input: cdefgh Step : Cpture the function Truth tle or eqution? Truth tle too ig: 2^8=256 rows Eqution: crete terms for ech possile cse of three consecutive s = c + cd + cde + def + efg + fgh c d c cd Step 2: Crete eqution -- lred done Step 2: Implement s gte-sed circuit e f g cde efg def fgh Digitl Design 2e Copright 2 rnk Vhid h 5
52 Emple: Numer of s Counter Prolem: Output in inr on two outputs z the # of s on three inputs Step : Cpture the function Truth tle or eqution? Truth tle is strightforwrd Step 2: Crete equtions = c + c + c + c z = c + c + c + c Optionl: Let's simplif : = 'c + 'c + (c' + c) = 'c + 'c + Step 2: Implement s gte-sed circuit Digitl Design 2e Copright 2 rnk Vhid c c c c c c 52 z
53 Used in previous circuit Simplifing Nottions c c c c () () ' c List inputs multiple times Less wiring in drwing Drw inversion ule rther thn inverter. Or list input s complemented. Digitl Design 2e Copright 2 rnk Vhid 53
54 Emple: Kepd Converter Kepd hs 7 outputs One per row One per column Ke press sets one row nd one column output to Press "5" r2=, c2= Gol: Convert kepd outputs into 4-it inr numer -9 to *, # nothing pressed: * # c c2 c3 r r2 r3 r4 Converter w z Digitl Design 2e Copright 2 rnk Vhid 54
55 Emple: Kepd Converter Step : Cpture ehvior Truth tle too ig (2^7 rows); equtions not cler either Informl tle cn help Digitl Design 2e Copright 2 rnk Vhid Step 2: Implement s circuit (note w = r3c2 + r3c3 + r4c + r4c3 + r'r2'r3'r4'c'c2'c3' shrle gtes)... = r2c + r2c2 + r2c3 + r3c + r'r2'r3'r4 c'c2'c3' = rc2 + rc3 + r2c3 + r3c + r4c + r4c3 + r'r2'r3'r4'c'c2'c3' z = rc + rc3 + r2c2 + r3c + r3c3 + r4c3 + r'r2'r3'r4'c'c2'c3' 55
56 Emple: Sprinkler Controller Microprocessor outputs which zone to wter (e.g., c= mens zone 6) nd enles wtering (e=) Decoder should set pproprite vlve to Microprocessor Digitl Design 2e Copright 2 rnk Vhid d d d2 d3 c d4 d5 decoder d6 e d7 zone 7 3 Equtions seem like nturl fit 5 zone Step : Cpture ehvior d = ''c'e d = ''ce d2 = 'c'e d3 = 'ce d4 = 'c'e d5 = 'ce d6 = c'e d7 = ce 56
57 Emple: Sprinkler Controller Step 2: Implement s circuit c d Microprocessor d d d2 d3 c d4 d5 decoder d6 e d7 zone zone d d2 Digitl Design 2e Copright 2 rnk Vhid d = ''c'e d = ''ce d2 = 'c'e d3 = 'ce d4 = 'c'e d5 = 'ce d6 = c'e d7 = ce e d3 d4 d5 d6 d7 57
58 More Gtes 2.8 NAND NOR XOR XNOR NAND NOR NAND: Opposite of AND ( NOT AND ) NOR: Opposite of OR ( NOT OR ) XOR: Ectl input is, for 2-input XOR. (or more inputs -- odd numer of s) XNOR: Opposite of XOR ( NOT XOR ) Digitl Design 2e Copright 2 rnk Vhid NAND sme s AND with power & ground switched nmos conducts s well, ut not s (resons eond our scope) so NAND is more efficient Likewise, NOR sme s OR with power/ground switched NAND/NOR more common AND in CMOS: NAND with NOT OR in CMOS: NOR with NOT 58
59 More Gtes: Emple Uses Aircrft lvtor sign emple S = (c) Detecting ll s Use NOR Detecting equlit Use XNOR Detecting odd # of s Use XOR Useful for generting prit it common for detecting errors 2 2 c Circuit A=B S Digitl Design 2e Copright 2 rnk Vhid 59
60 Completeness of NAND An Boolen function cn e implemented using just NAND gtes. Wh? Need AND, OR, nd NOT NOT: -input NAND (or 2-input NAND with inputs tied together) AND: NAND followed NOT OR: NAND preceded NOTs Thus, NAND is universl gte Cn implement n circuit using just NAND gtes Likewise for NOR Digitl Design 2e Copright 2 rnk Vhid 6
61 Numer of Possile Boolen unctions How mn possile functions of 2 vriles? 2 2 rows in truth tle, 2 choices for ech 2 (22 ) = 2 4 = 6 possile functions N vriles 2 N rows 2 (2N ) possile functions or 2 choices or 2 choices or 2 choices or 2 choices 2 4 = 6 possile functions f f f2 f3 f4 f5 f6 f7 f8 f9 f f f2 f3 f4 f5 AND XOR OR NOR XNOR NAND Digitl Design 2e Copright 2 rnk Vhid 6
62 Decoders nd Mues 2.9 Decoder: Populr comintionl logic uilding lock, in ddition to logic gtes Converts input inr numer to one high output 2-input decoder: four possile input inr numers So hs four outputs, one for ech possile input inr numer Internl design AND gte for ech output to detect input comintion Decoder with enle e Outputs ll if e= Regulr ehvior if e= n-input decoder: 2 n outputs Digitl Design 2e Copright 2 rnk Vhid d i d i d2 i i d3 i i i i ii ii i i d d d2 d3 d d d2 d3 i i d d d2 d3 i i i i d d d2 i i e d3 e d d d2 d3 62 d d d2 d3
63 New Yer s Eve Countdown Displ Microprocessor counts from 59 down to in inr on 6-it output Wnt illuminte one of 6 lights for ech inr numer Use 664 decoder 4 outputs unused Decoder Emple Processor 2 2 i i i2 i3 i4 i5 e 664 dcd d d d2 d3 d58 d59 d6 d6 d62 d Hpp New Yer Digitl Design 2e Copright 2 rnk Vhid 63
64 Multipleor (Mu) Mu: Another populr comintionl uilding lock Routes one of its N dt inputs to its one output, sed on inr vlue of select inputs 4 input mu needs 2 select inputs to indicte which input to route through 8 input mu 3 select inputs N inputs log 2 (N) selects Like ril rd switch Digitl Design 2e Copright 2 rnk Vhid 64
65 Mu Internl Design 2 i d i s 2 mu i i 2 s d i i 2 s d i i s i (*i=i) d i (+i=i) 4 i i d i2 i3 s s 4 mu i i i2 i3 d s s Digitl Design 2e Copright 2 rnk Vhid 65
66 Mu Emple Cit mor cn set four switches up or down, representing his/her vote on ech of four proposls, numered,, 2, 3 Cit mnger cn displ n such vote on lrge green/red LED (light) setting two switches to represent inr,, 2, or 3 Mor s switches Use 4 mu Proposl 2 3 i i i2 i3 4 s s d on/off Green/ Red LED Digitl Design 2e Copright 2 rnk Vhid 4 mnger's switches 66
67 Mues Commonl Together N-it Mu s i d i s 2 i d i s 2 i d i s i 2 d i s A B 4 4 I I 4-it 2 s s D 4 C Simplifing nottion: 4 C is short for c3 c2 c c E: Two 4-it inputs, A (3 2 ), nd B (3 2 ) 4-it 2 mu (just four 2 mues shring select line) cn select etween A or B Digitl Design 2e Copright 2 rnk Vhid 67
68 N-it Mu Emple rom the cr's centrl computer T A I M I I I2 8-it 4 D I3 s s 8 D To the ovemirror displ We'll design this lter utton our possile displ items Temperture (T), Averge miles-per-gllon (A), Instntneous mpg (I), nd Miles remining (M) ech is 8-its wide Choose which to displ on D using two inputs nd Pushing utton sequences to the net item Use 8-it 4 mu Digitl Design 2e Copright 2 rnk Vhid 68
69 Additionl Considertions Non-Idel Gte Behvior -- Del 2. (.8 V) ( V) () idel Rel gtes hve some del Outputs don t chnge immeditel fter inputs chnge time () more relistic time (c) time with del ut otherwise idel Digitl Design 2e Copright 2 rnk Vhid 69
70 Circuit Del nd Criticl Pth k BeltWrn p s ns t ns ns ns.5 ns ns ns ns ns ns w ++++ = 5 ns = 6.5 ns ++ = 3 ns Criticl pth del = 6.5 ns Hence, circuitʼs del is 6.5 ns Digitl Design 2e Copright 2 rnk Vhid Wires lso hve del Assume gtes nd wires hve dels s shown Pth del time for input to ffect output Criticl pth pth with longest pth del Circuit del del of criticl pth 7
71 Active Low Inputs Dt inputs: flow through component (e.g., mu dt input) Control input: influence component ehvior Normll ctive high cuses input to crr out its purpose Active low Insted, cuses input to crr out its purpose Emple: 24 decoder with ctive low enle disles decoder, enles Drwn using inversion ule d d i d i d i d2 i d2 e d3 e d3 Digitl Design 2e Copright 2 rnk Vhid () () 7
72 Schemtic Cpture nd Simultion Inputs Inputs i i i Outputs d3 Simulte i Outputs d3 Simulte d2 d2 d d d d Schemtic cpture Computer tool for user to cpture logic circuit grphicll Simultor Computer tool to show wht circuit outputs would e for given inputs Outputs commonl displed s wveform Digitl Design 2e Copright 2 rnk Vhid 72
73 Chpter Summr Comintionl circuits Circuit whose outputs re function of present inputs No stte Switches: Bsic component in digitl circuits Boolen logic gtes: AND, OR, NOT Better uilding lock thn switches Enles use of Boolen lger to design circuits Boolen lger: Uses true/flse vriles/opertors Representtions of Boolen functions: Cn trnslte mong Comintionl design process: Trnslte from eqution (or tle) to circuit through well-defined steps More gtes: NAND, NOR, XOR, XNOR lso useful Mues nd decoders: Additionl useful comintionl uilding locks Digitl Design 2e Copright 2 rnk Vhid 73
CS12N: 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 informationIntroduction to Electrical & Electronic Engineering ENGG1203
Introduction to Electricl & Electronic Engineering ENGG23 2 nd Semester, 27-8 Dr. Hden Kwok-H So Deprtment of Electricl nd Electronic Engineering Astrction DIGITAL LOGIC 2 Digitl Astrction n Astrct ll
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 informationBoolean Algebra. Boolean Algebra
Boolen Alger Boolen Alger A Boolen lger is set B of vlues together with: - two inry opertions, commonly denoted y + nd, - unry opertion, usully denoted y ˉ or ~ or, - two elements usully clled zero nd
More informationFast Boolean Algebra
Fst Boolen Alger ELEC 267 notes with the overurden removed A fst wy to lern enough to get the prel done honorly Printed; 3//5 Slide Modified; Jnury 3, 25 John Knight Digitl Circuits p. Fst Boolen Alger
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 informationBoolean algebra.
http://en.wikipedi.org/wiki/elementry_boolen_lger Boolen lger www.tudorgir.com Computer science is not out computers, it is out computtion nd informtion. computtion informtion computer informtion Turing
More informationCalculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.
Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite
More informationIntroduction. Let s learn to design digital circuits We ll start with a simple form of circuit:
Digitl Design Chpter 2: Comintionl Logi Design Slies to ompn the tetook Digitl Design, irst Eition, rnk Vhi, John Wile n Sons Pulishers, 27. http://www.vhi.om Copright 27 rnk Vhi Instrutors of ourses requiring
More informationIntroduction to Algebra - Part 2
Alger Module A Introduction to Alger - Prt Copright This puliction The Northern Alert Institute of Technolog 00. All Rights Reserved. LAST REVISED Oct., 008 Introduction to Alger - Prt Sttement of Prerequisite
More informationLogic Optimization 1. Logic Optimization. Optimization vs. Tradeoff. Two-level Logic Optimization. ECE 474A/57A Computer-Aided Logic Design
ECE 474A/57A Computer-Aided Logic Design Logic Optimition Logic Optimition We now know how to build digitl circuits How cn we build better circuits? Let s consider two importnt design criteri Del the time
More informationMath 017. Materials With Exercises
Mth 07 Mterils With Eercises Jul 0 TABLE OF CONTENTS Lesson Vriles nd lgeric epressions; Evlution of lgeric epressions... Lesson Algeric epressions nd their evlutions; Order of opertions....... Lesson
More informationI1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3
2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is
More informationDesigning Information Devices and Systems I Spring 2018 Homework 7
EECS 16A Designing Informtion Devices nd Systems I Spring 2018 omework 7 This homework is due Mrch 12, 2018, t 23:59. Self-grdes re due Mrch 15, 2018, t 23:59. Sumission Formt Your homework sumission should
More informationELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-2700: Digital Logic Design Fall Notes - Unit 1
INTRODUTION TO LOGI IRUITS Notes - Unit 1 OOLEN LGER This is the oundtion or designing nd nlyzing digitl systems. It dels with the cse where vriles ssume only one o two vlues: TRUE (usully represented
More informationDesigning Information Devices and Systems I Discussion 8B
Lst Updted: 2018-10-17 19:40 1 EECS 16A Fll 2018 Designing Informtion Devices nd Systems I Discussion 8B 1. Why Bother With Thévenin Anywy? () Find Thévenin eqiuvlent for the circuit shown elow. 2kΩ 5V
More informationLinear Inequalities. Work Sheet 1
Work Sheet 1 Liner Inequlities Rent--Hep, cr rentl compny,chrges $ 15 per week plus $ 0.0 per mile to rent one of their crs. Suppose you re limited y how much money you cn spend for the week : You cn spend
More informationELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-378: Computer Hardware Design Winter Notes - Unit 1
ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 INTRODUTION TO LOGI IRUITS Notes - Unit 1 OOLEN LGER This is the oundtion or designing nd nlyzing digitl
More informationChapter 3 Single Random Variables and Probability Distributions (Part 2)
Chpter 3 Single Rndom Vriles nd Proilit Distriutions (Prt ) Contents Wht is Rndom Vrile? Proilit Distriution Functions Cumultive Distriution Function Proilit Densit Function Common Rndom Vriles nd their
More informationOverview of Today s Lecture:
CPS 4 Computer Orgniztion nd Progrmming Lecture : Boolen Alger & gtes. Roert Wgner CPS4 BA. RW Fll 2 Overview of Tody s Lecture: Truth tles, Boolen functions, Gtes nd Circuits Krnugh mps for simplifying
More informationDIRECT CURRENT CIRCUITS
DRECT CURRENT CUTS ELECTRC POWER Consider the circuit shown in the Figure where bttery is connected to resistor R. A positive chrge dq will gin potentil energy s it moves from point to point b through
More informationBoolean Algebra. Boolean Algebras
Boolen Algebr Boolen Algebrs A Boolen lgebr is set B of vlues together with: - two binry opertions, commonly denoted by + nd, - unry opertion, usully denoted by or ~ or, - two elements usully clled zero
More informationChapter 4: Techniques of Circuit Analysis. Chapter 4: Techniques of Circuit Analysis
Chpter 4: Techniques of Circuit Anlysis Terminology Node-Voltge Method Introduction Dependent Sources Specil Cses Mesh-Current Method Introduction Dependent Sources Specil Cses Comprison of Methods Source
More informationChapters Five Notes SN AA U1C5
Chpters Five Notes SN AA U1C5 Nme Period Section 5-: Fctoring Qudrtic Epressions When you took lger, you lerned tht the first thing involved in fctoring is to mke sure to fctor out ny numers or vriles
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationLecture 3. Introduction digital logic. Notes. Notes. Notes. Representations. February Bern University of Applied Sciences.
Lecture 3 Ferury 6 ern University of pplied ciences ev. f57fc 3. We hve seen tht circuit cn hve multiple (n) inputs, e.g.,, C, We hve lso seen tht circuit cn hve multiple (m) outputs, e.g. X, Y,, ; or
More informationThe practical version
Roerto s Notes on Integrl Clculus Chpter 4: Definite integrls nd the FTC Section 7 The Fundmentl Theorem of Clculus: The prcticl version Wht you need to know lredy: The theoreticl version of the FTC. Wht
More informationSignal Flow Graphs. Consider a complex 3-port microwave network, constructed of 5 simpler microwave devices:
3/3/009 ignl Flow Grphs / ignl Flow Grphs Consider comple 3-port microwve network, constructed of 5 simpler microwve devices: 3 4 5 where n is the scttering mtri of ech device, nd is the overll scttering
More informationFachgebiet Rechnersysteme1. 1. Boolean Algebra. 1. Boolean Algebra. Verification Technology. Content. 1.1 Boolean algebra basics (recap)
. Boolen Alger Fchgeiet Rechnersysteme. Boolen Alger Veriiction Technology Content. Boolen lger sics (recp).2 Resoning out Boolen expressions . Boolen Alger 2 The prolem o logic veriiction: Show tht two
More information5.1 Estimating with Finite Sums Calculus
5.1 ESTIMATING WITH FINITE SUMS Emple: Suppose from the nd to 4 th hour of our rod trip, ou trvel with the cruise control set to ectl 70 miles per hour for tht two hour stretch. How fr hve ou trveled during
More informationChapter 2. Random Variables and Probability Distributions
Rndom Vriles nd Proilit Distriutions- 6 Chpter. Rndom Vriles nd Proilit Distriutions.. Introduction In the previous chpter, we introduced common topics of proilit. In this chpter, we trnslte those concepts
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More informationChapter E - Problems
Chpter E - Prolems Blinn College - Physics 2426 - Terry Honn Prolem E.1 A wire with dimeter d feeds current to cpcitor. The chrge on the cpcitor vries with time s QHtL = Q 0 sin w t. Wht re the current
More informationDesigning Information Devices and Systems I Fall 2016 Babak Ayazifar, Vladimir Stojanovic Homework 6. This homework is due October 11, 2016, at Noon.
EECS 16A Designing Informtion Devices nd Systems I Fll 2016 Bk Ayzifr, Vldimir Stojnovic Homework 6 This homework is due Octoer 11, 2016, t Noon. 1. Homework process nd study group Who else did you work
More informationSection - 2 MORE PROPERTIES
LOCUS Section - MORE PROPERTES n section -, we delt with some sic properties tht definite integrls stisf. This section continues with the development of some more properties tht re not so trivil, nd, when
More informationCS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata
CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or
More informationParse trees, ambiguity, and Chomsky normal form
Prse trees, miguity, nd Chomsky norml form In this lecture we will discuss few importnt notions connected with contextfree grmmrs, including prse trees, miguity, nd specil form for context-free grmmrs
More informationHints for Exercise 1 on: Current and Resistance
Hints for Exercise 1 on: Current nd Resistnce Review the concepts of: electric current, conventionl current flow direction, current density, crrier drift velocity, crrier numer density, Ohm s lw, electric
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk out solving systems of liner equtions. These re prolems tht give couple of equtions with couple of unknowns, like: 6= x + x 7=
More informationPreview 11/1/2017. Greedy Algorithms. Coin Change. Coin Change. Coin Change. Coin Change. Greedy algorithms. Greedy Algorithms
Preview Greed Algorithms Greed Algorithms Coin Chnge Huffmn Code Greed lgorithms end to e simple nd strightforwrd. Are often used to solve optimiztion prolems. Alws mke the choice tht looks est t the moment,
More informationDesigning Information Devices and Systems I Spring 2018 Homework 8
EECS 16A Designing Informtion Devices nd Systems I Spring 2018 Homework 8 This homework is due Mrch 19, 2018, t 23:59. Self-grdes re due Mrch 22, 2018, t 23:59. Sumission Formt Your homework sumission
More informationLecture Solution of a System of Linear Equation
ChE Lecture Notes, Dept. of Chemicl Engineering, Univ. of TN, Knoville - D. Keffer, 5/9/98 (updted /) Lecture 8- - Solution of System of Liner Eqution 8. Why is it importnt to e le to solve system of liner
More informationM344 - ADVANCED ENGINEERING MATHEMATICS
M3 - ADVANCED ENGINEERING MATHEMATICS Lecture 18: Lplce s Eqution, Anltic nd Numericl Solution Our emple of n elliptic prtil differentil eqution is Lplce s eqution, lso clled the Diffusion Eqution. If
More informationSection 6: Area, Volume, and Average Value
Chpter The Integrl Applied Clculus Section 6: Are, Volume, nd Averge Vlue Are We hve lredy used integrls to find the re etween the grph of function nd the horizontl xis. Integrls cn lso e used to find
More informationConvert the NFA into DFA
Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:
More information1. Twelve less than five times a number is thirty three. What is the number
Alger 00 Midterm Review Nme: Dte: Directions: For the following prolems, on SEPARATE PIECE OF PAPER; Define the unknown vrile Set up n eqution (Include sketch/chrt if necessr) Solve nd show work Answer
More informationLINEAR ALGEBRA APPLIED
5.5 Applictions of Inner Product Spces 5.5 Applictions of Inner Product Spces 7 Find the cross product of two vectors in R. Find the liner or qudrtic lest squres pproimtion of function. Find the nth-order
More informationHomework Solution - Set 5 Due: Friday 10/03/08
CE 96 Introduction to the Theory of Computtion ll 2008 Homework olution - et 5 Due: ridy 10/0/08 1. Textook, Pge 86, Exercise 1.21. () 1 2 Add new strt stte nd finl stte. Mke originl finl stte non-finl.
More informationMA 15910, Lessons 2a and 2b Introduction to Functions Algebra: Sections 3.5 and 7.4 Calculus: Sections 1.2 and 2.1
MA 15910, Lessons nd Introduction to Functions Alger: Sections 3.5 nd 7.4 Clculus: Sections 1. nd.1 Representing n Intervl Set of Numers Inequlity Symol Numer Line Grph Intervl Nottion ) (, ) ( (, ) ]
More informationControl with binary code. William Sandqvist
Control with binry code Dec Bin He Oct 218 10 11011010 2 DA 16 332 8 E 1.1c Deciml to Binäry binry weights: 1024 512 256 128 64 32 16 8 4 2 1 71 10? 2 E 1.1c Deciml to Binäry binry weights: 1024 512 256
More informationPhysics 1402: Lecture 7 Today s Agenda
1 Physics 1402: Lecture 7 Tody s gend nnouncements: Lectures posted on: www.phys.uconn.edu/~rcote/ HW ssignments, solutions etc. Homework #2: On Msterphysics tody: due Fridy Go to msteringphysics.com Ls:
More informationPROPERTIES OF AREAS In general, and for an irregular shape, the definition of the centroid at position ( x, y) is given by
PROPERTES OF RES Centroid The concept of the centroid is prol lred fmilir to ou For plne shpe with n ovious geometric centre, (rectngle, circle) the centroid is t the centre f n re hs n is of smmetr, the
More information5.1 How do we Measure Distance Traveled given Velocity? Student Notes
. How do we Mesure Distnce Trveled given Velocity? Student Notes EX ) The tle contins velocities of moving cr in ft/sec for time t in seconds: time (sec) 3 velocity (ft/sec) 3 A) Lel the x-xis & y-xis
More informationIntermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4
Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one
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 informationSECTION 9-4 Translation of Axes
9-4 Trnsltion of Aes 639 Rdiotelescope For the receiving ntenn shown in the figure, the common focus F is locted 120 feet bove the verte of the prbol, nd focus F (for the hperbol) is 20 feet bove the verte.
More information2.4 Linear Inequalities and Interval Notation
.4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or
More informationLecture 6. Notes. Notes. Notes. Representations Z A B and A B R. BTE Electronics Fundamentals August Bern University of Applied Sciences
Lecture 6 epresenttions epresenttions TE52 - Electronics Fundmentls ugust 24 ern University of pplied ciences ev. c2d5c88 6. Integers () sign-nd-mgnitude representtion The set of integers contins the Nturl
More information8.6 The Hyperbola. and F 2. is a constant. P F 2. P =k The two fixed points, F 1. , are called the foci of the hyperbola. The line segments F 1
8. The Hperol Some ships nvigte using rdio nvigtion sstem clled LORAN, which is n cronm for LOng RAnge Nvigtion. A ship receives rdio signls from pirs of trnsmitting sttions tht send signls t the sme time.
More informationDigital Control of Electric Drives
igitl Control o Electric rives Logic Circuits - Comintionl Boolen Alger, escription Form Czech Technicl University in Prgue Fculty o Electricl Engineering Ver.. J. Zdenek Logic Comintionl Circuit Logic
More informationSatellite Retrieval Data Assimilation
tellite etrievl Dt Assimiltion odgers C. D. Inverse Methods for Atmospheric ounding: Theor nd Prctice World cientific Pu. Co. Hckensck N.J. 2000 Chpter 3 nd Chpter 8 Dve uhl Artist depiction of NAA terr
More informationThe Trapezoidal Rule
_.qd // : PM Pge 9 SECTION. Numericl Integrtion 9 f Section. The re of the region cn e pproimted using four trpezoids. Figure. = f( ) f( ) n The re of the first trpezoid is f f n. Figure. = Numericl Integrtion
More informationVectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors:
Vectors 1-23-2018 I ll look t vectors from n lgeric point of view nd geometric point of view. Algericlly, vector is n ordered list of (usully) rel numers. Here re some 2-dimensionl vectors: (2, 3), ( )
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationDA 3: The Mean Value Theorem
Differentition pplictions 3: The Men Vlue Theorem 169 D 3: The Men Vlue Theorem Model 1: Pennslvni Turnpike You re trveling est on the Pennslvni Turnpike You note the time s ou pss the Lenon/Lncster Eit
More information1 Part II: Numerical Integration
Mth 4 Lb 1 Prt II: Numericl Integrtion This section includes severl techniques for getting pproimte numericl vlues for definite integrls without using ntiderivtives. Mthemticll, ect nswers re preferble
More informationUnit 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 informationLearning Goals. Relational Query Languages. Formal Relational Query Languages. Formal Query Languages: Relational Algebra and Relational Calculus
Forml Query Lnguges: Reltionl Alger nd Reltionl Clculus Chpter 4 Lerning Gols Given dtse ( set of tles ) you will e le to express dtse query in Reltionl Alger (RA), involving the sic opertors (selection,
More informationPrerequisites CHAPTER P
CHAPTER P Prerequisites P. Rel Numers P.2 Crtesin Coordinte System P.3 Liner Equtions nd Inequlities P.4 Lines in the Plne P.5 Solving Equtions Grphiclly, Numericlly, nd Algericlly P.6 Comple Numers P.7
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More informationName Class Date. Match each phrase with the correct term or terms. Terms may be used more than once.
Exercises 341 Flow of Chrge (pge 681) potentil difference 1 Chrge flows when there is between the ends of conductor 2 Explin wht would hppen if Vn de Grff genertor chrged to high potentil ws connected
More information8 factors of x. For our second example, let s raise a power to a power:
CH 5 THE FIVE LAWS OF EXPONENTS EXPONENTS WITH VARIABLES It s no time for chnge in tctics, in order to give us deeper understnding of eponents. For ech of the folloing five emples, e ill stretch nd squish,
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationOperations with Polynomials
38 Chpter P Prerequisites P.4 Opertions with Polynomils Wht you should lern: How to identify the leding coefficients nd degrees of polynomils How to dd nd subtrct polynomils How to multiply polynomils
More informationCSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes
CSE 260-002: Exm 3-ANSWERS, Spring 20 ime: 50 minutes Nme: his exm hs 4 pges nd 0 prolems totling 00 points. his exm is closed ook nd closed notes.. Wrshll s lgorithm for trnsitive closure computtion is
More informationSection 4: Integration ECO4112F 2011
Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic
More informationCMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014
CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA
More information1 ELEMENTARY ALGEBRA and GEOMETRY READINESS DIAGNOSTIC TEST PRACTICE
ELEMENTARY ALGEBRA nd GEOMETRY READINESS DIAGNOSTIC TEST PRACTICE Directions: Study the exmples, work the prolems, then check your nswers t the end of ech topic. If you don t get the nswer given, check
More informationChapter 1: Logarithmic functions and indices
Chpter : Logrithmic functions nd indices. You cn simplify epressions y using rules of indices m n m n m n m n ( m ) n mn m m m m n m m n Emple Simplify these epressions: 5 r r c 4 4 d 6 5 e ( ) f ( ) 4
More informationList all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.
Mth Anlysis CP WS 4.X- Section 4.-4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether - is root of 0. Show
More informationWhat Is Calculus? 42 CHAPTER 1 Limits and Their Properties
60_00.qd //0 : PM Pge CHAPTER Limits nd Their Properties The Mistress Fellows, Girton College, Cmridge Section. STUDY TIP As ou progress through this course, rememer tht lerning clculus is just one of
More informationTopic 1 Notes Jeremy Orloff
Topic 1 Notes Jerem Orloff 1 Introduction to differentil equtions 1.1 Gols 1. Know the definition of differentil eqution. 2. Know our first nd second most importnt equtions nd their solutions. 3. Be ble
More informationES.182A Topic 32 Notes Jeremy Orloff
ES.8A Topic 3 Notes Jerem Orloff 3 Polr coordintes nd double integrls 3. Polr Coordintes (, ) = (r cos(θ), r sin(θ)) r θ Stndrd,, r, θ tringle Polr coordintes re just stndrd trigonometric reltions. In
More informationFormal languages, automata, and theory of computation
Mälrdlen University TEN1 DVA337 2015 School of Innovtion, Design nd Engineering Forml lnguges, utomt, nd theory of computtion Thursdy, Novemer 5, 14:10-18:30 Techer: Dniel Hedin, phone 021-107052 The exm
More informationContinuous Random Variables Class 5, Jeremy Orloff and Jonathan Bloom
Lerning Gols Continuous Rndom Vriles Clss 5, 8.05 Jeremy Orloff nd Jonthn Bloom. Know the definition of continuous rndom vrile. 2. Know the definition of the proility density function (pdf) nd cumultive
More informationLecture 08: Feb. 08, 2019
4CS4-6:Theory of Computtion(Closure on Reg. Lngs., regex to NDFA, DFA to regex) Prof. K.R. Chowdhry Lecture 08: Fe. 08, 2019 : Professor of CS Disclimer: These notes hve not een sujected to the usul scrutiny
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 informationand that at t = 0 the object is at position 5. Find the position of the object at t = 2.
7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we
More informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationPhysics 202, Lecture 10. Basic Circuit Components
Physics 202, Lecture 10 Tody s Topics DC Circuits (Chpter 26) Circuit components Kirchhoff s Rules RC Circuits Bsic Circuit Components Component del ttery, emf Resistor Relistic Bttery (del) wire Cpcitor
More informationLecture 2 : Propositions DRAFT
CS/Mth 240: Introduction to Discrete Mthemtics 1/20/2010 Lecture 2 : Propositions Instructor: Dieter vn Melkeeek Scrie: Dlior Zelený DRAFT Lst time we nlyzed vrious mze solving lgorithms in order to illustrte
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 informationLogarithms. Logarithm is another word for an index or power. POWER. 2 is the power to which the base 10 must be raised to give 100.
Logrithms. Logrithm is nother word for n inde or power. THIS IS A POWER STATEMENT BASE POWER FOR EXAMPLE : We lred know tht; = NUMBER 10² = 100 This is the POWER Sttement OR 2 is the power to which the
More informationBelievethatyoucandoitandyouar. Mathematics. ngascannotdoonlynotyetbelieve thatyoucandoitandyouarehalfw. Algebra
Believethtoucndoitndour ehlfwtherethereisnosuchthi Mthemtics ngscnnotdoonlnotetbelieve thtoucndoitndourehlfw Alger therethereisnosuchthingsc nnotdoonlnotetbelievethto Stge 6 ucndoitndourehlfwther S Cooper
More informationMA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.
MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
More information0.1 THE REAL NUMBER LINE AND ORDER
6000_000.qd //0 :6 AM Pge 0-0- CHAPTER 0 A Preclculus Review 0. THE REAL NUMBER LINE AND ORDER Represent, clssify, nd order rel numers. Use inequlities to represent sets of rel numers. Solve inequlities.
More informationChapter 2 Finite Automata
Chpter 2 Finite Automt 28 2.1 Introduction Finite utomt: first model of the notion of effective procedure. (They lso hve mny other pplictions). The concept of finite utomton cn e derived y exmining wht
More informationCS 330 Formal Methods and Models
CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 2 1. Prove ((( p q) q) p) is tutology () (3pts) y truth tle. p q p q
More informationInterpreting Integrals and the Fundamental Theorem
Interpreting Integrls nd the Fundmentl Theorem Tody, we go further in interpreting the mening of the definite integrl. Using Units to Aid Interprettion We lredy know tht if f(t) is the rte of chnge of
More information