Chapter 2: Combinational Logic Design. Instructor: Dr. Hyunyoung Lee. Based on the slides by Frank Vahid

Size: px
Start display at page:

Download "Chapter 2: Combinational Logic Design. Instructor: Dr. Hyunyoung Lee. Based on the slides by Frank Vahid"

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

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 information

Introduction to Electrical & Electronic Engineering ENGG1203

Introduction 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 information

Combinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So.

Combinational 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 information

Boolean Algebra. Boolean Algebra

Boolean 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 information

Fast Boolean Algebra

Fast 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 information

expression simply by forming an OR of the ANDs of all input variables for which the output is

expression 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 information

Boolean algebra.

Boolean 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 information

Calculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.

Calculus 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 information

Introduction. Let s learn to design digital circuits We ll start with a simple form of circuit:

Introduction. 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 information

Introduction to Algebra - Part 2

Introduction 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 information

Logic Optimization 1. Logic Optimization. Optimization vs. Tradeoff. Two-level Logic Optimization. ECE 474A/57A Computer-Aided Logic Design

Logic 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 information

Math 017. Materials With Exercises

Math 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 information

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

I1 = 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 information

Designing Information Devices and Systems I Spring 2018 Homework 7

Designing 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 information

ELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-2700: Digital Logic Design Fall Notes - Unit 1

ELECTRICAL 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 information

Designing Information Devices and Systems I Discussion 8B

Designing 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 information

Linear Inequalities. Work Sheet 1

Linear 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 information

ELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-378: Computer Hardware Design Winter Notes - Unit 1

ELECTRICAL 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 information

Chapter 3 Single Random Variables and Probability Distributions (Part 2)

Chapter 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 information

Overview of Today s Lecture:

Overview 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 information

DIRECT CURRENT CIRCUITS

DIRECT 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 information

Boolean Algebra. Boolean Algebras

Boolean 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 information

Chapter 4: Techniques of Circuit Analysis. Chapter 4: Techniques of Circuit Analysis

Chapter 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 information

Chapters Five Notes SN AA U1C5

Chapters 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 information

Bases for Vector Spaces

Bases 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 information

Lecture 3. Introduction digital logic. Notes. Notes. Notes. Representations. February Bern University of Applied Sciences.

Lecture 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 information

The practical version

The 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 information

Signal Flow Graphs. Consider a complex 3-port microwave network, constructed of 5 simpler microwave devices:

Signal 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 information

Fachgebiet Rechnersysteme1. 1. Boolean Algebra. 1. Boolean Algebra. Verification Technology. Content. 1.1 Boolean algebra basics (recap)

Fachgebiet 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 information

5.1 Estimating with Finite Sums Calculus

5.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 information

Chapter 2. Random Variables and Probability Distributions

Chapter 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 information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties 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 information

Chapter E - Problems

Chapter 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 information

Designing Information Devices and Systems I Fall 2016 Babak Ayazifar, Vladimir Stojanovic Homework 6. This homework is due October 11, 2016, at Noon.

Designing 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 information

Section - 2 MORE PROPERTIES

Section - 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 information

CS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata

CS103B 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 information

Parse trees, ambiguity, and Chomsky normal form

Parse 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 information

Hints for Exercise 1 on: Current and Resistance

Hints 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 information

Homework 3 Solutions

Homework 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 information

How 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?

How 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 information

Preview 11/1/2017. Greedy Algorithms. Coin Change. Coin Change. Coin Change. Coin Change. Greedy algorithms. Greedy Algorithms

Preview 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 information

Designing Information Devices and Systems I Spring 2018 Homework 8

Designing 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 information

Lecture Solution of a System of Linear Equation

Lecture 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 information

M344 - ADVANCED ENGINEERING MATHEMATICS

M344 - 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 information

Section 6: Area, Volume, and Average Value

Section 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 information

Convert the NFA into DFA

Convert 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 information

1. Twelve less than five times a number is thirty three. What is the number

1. 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 information

LINEAR ALGEBRA APPLIED

LINEAR 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 information

Homework Solution - Set 5 Due: Friday 10/03/08

Homework 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 information

MA 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 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 information

Control with binary code. William Sandqvist

Control 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 information

Physics 1402: Lecture 7 Today s Agenda

Physics 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 information

PROPERTIES OF AREAS In general, and for an irregular shape, the definition of the centroid at position ( x, y) is given by

PROPERTIES 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 information

5.1 How do we Measure Distance Traveled given Velocity? Student Notes

5.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 information

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4

Intermediate 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 information

Review of Gaussian Quadrature method

Review 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 information

SECTION 9-4 Translation of Axes

SECTION 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 information

2.4 Linear Inequalities and Interval Notation

2.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 information

Lecture 6. Notes. Notes. Notes. Representations Z A B and A B R. BTE Electronics Fundamentals August Bern University of Applied Sciences

Lecture 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 information

8.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.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 information

Digital Control of Electric Drives

Digital 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 information

Satellite Retrieval Data Assimilation

Satellite 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 information

The Trapezoidal Rule

The 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 information

Vectors , (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 , (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 information

Coalgebra, Lecture 15: Equations for Deterministic Automata

Coalgebra, 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 information

DA 3: The Mean Value Theorem

DA 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 information

1 Part II: Numerical Integration

1 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 information

Unit 4. Combinational Circuits

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 information

Learning Goals. Relational Query Languages. Formal Relational Query Languages. Formal Query Languages: Relational Algebra and Relational Calculus

Learning 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 information

Prerequisites CHAPTER P

Prerequisites 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 information

CS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)

CS 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 information

Name Class Date. Match each phrase with the correct term or terms. Terms may be used more than once.

Name 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 information

8 factors of x. For our second example, let s raise a power to a power:

8 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 information

1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.

1. 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 information

Operations with Polynomials

Operations 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 information

CSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes

CSE : 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 information

Section 4: Integration ECO4112F 2011

Section 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 information

CMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014

CMPSCI 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 information

1 ELEMENTARY ALGEBRA and GEOMETRY READINESS DIAGNOSTIC TEST PRACTICE

1 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 information

Chapter 1: Logarithmic functions and indices

Chapter 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 information

List all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.

List 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 information

What Is Calculus? 42 CHAPTER 1 Limits and Their Properties

What 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 information

Topic 1 Notes Jeremy Orloff

Topic 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 information

ES.182A Topic 32 Notes Jeremy Orloff

ES.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 information

Formal languages, automata, and theory of computation

Formal 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 information

Continuous Random Variables Class 5, Jeremy Orloff and Jonathan Bloom

Continuous 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 information

Lecture 08: Feb. 08, 2019

Lecture 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 information

CS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS

CS 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 information

and that at t = 0 the object is at position 5. Find the position of the object at t = 2.

and 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 information

Chapter 14. Matrix Representations of Linear Transformations

Chapter 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 information

Physics 202, Lecture 10. Basic Circuit Components

Physics 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 information

Lecture 2 : Propositions DRAFT

Lecture 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 information

Fault Modeling. EE5375 ADD II Prof. MacDonald

Fault 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 information

Logarithms. 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.

Logarithms. 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 information

Believethatyoucandoitandyouar. Mathematics. ngascannotdoonlynotyetbelieve thatyoucandoitandyouarehalfw. Algebra

Believethatyoucandoitandyouar. Mathematics. ngascannotdoonlynotyetbelieve thatyoucandoitandyouarehalfw. Algebra Believethtoucndoitndour ehlfwtherethereisnosuchthi Mthemtics ngscnnotdoonlnotetbelieve thtoucndoitndourehlfw Alger therethereisnosuchthingsc nnotdoonlnotetbelievethto Stge 6 ucndoitndourehlfwther S Cooper

More information

MA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.

MA123, 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 information

0.1 THE REAL NUMBER LINE AND ORDER

0.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 information

Chapter 2 Finite Automata

Chapter 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 information

CS 330 Formal Methods and Models

CS 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 information

Interpreting Integrals and the Fundamental Theorem

Interpreting 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