LOGIC DESIGN UNIT Design of Syniwonout sequential cisauik » Model Selection | 1 Moose model + Output depends onty on prnent state and not on input Advantage : Output pimaint sinkle eve. entire Lock potod and changes ie on @ state change ok dock Bigg based on awailable inpuk ot that ime. Primany impudt "| Gormbination Paimas oun > So =| Nesck-sttoke, me oukputt bhook [Menon f= ‘inpuds dingtor Moeet ool 2 Menty modal | Output: dapends on pacuent stake of well at input wea Advantages. ° Requires Cert ruunboo hy sate.” Zokve a problem Output ia quinine one clock Less hasdwoase to cyte cation ©) Used en agptications —Aequining Sor oudpuct and fow hraadivose cost Di advanta.gs © Input transicnti , neues ase. cece anaiored to the output: i Scanned with CamScannerNok padlured wher output sRarsitios axe to be Synchsoniged. while, inpus can change ony time . Prion eee oe Gmbination Next state, is car ae Mors Moose see modet block. Li esa Es Primary foie Outputs Skote Transition Diagram | “The Problen * Deigr a sequene detedon that geceiver binary Anta akacom ot ith input, X and Kignale when © combination ‘or! assives ot the inpur by nog ie oukput, y high which otherwiae Remains Lous. Consider data in coming Sgom eee ive Seat bit to be idenditied inl, @eond | and thiad 0 Ser the input Requence - Soluction. | 1+ Moore model * Skate Tnitiod state 9 a - no bit ik Prepealy detected. Fiast bit detected —> ptate & Suond bit detected —> state c Scanned with CamScannerTRisd Git ducted > state d Oudpet Yue high in atate d Fou offea ttt, Yeo att Mantition diaguar | Each state and output it declined within a cisele~ sWw-s Aepreentt Symbol pL memory vatutt Tdtntited with a state and Y repays output. Si Assos tign > sinte dansition on input Cort afiong that path 8 1 a Cx. ew oO 4 1 Gay ° | 2 Meaty modch © State diinitions | 3 stata - ay b,6 a> nc bit detution b> Gist bit detection a C > suond bit detedion Ouepuk ig Qe at state c on wpacck inpk poder: Requins one state Pure than Moore model - Seo. thonsition dingrors © Subs ib writen by the Bide + input oleng fhe ossew path > X/y > output 3 iz Scanned with CamScanner“on has been detected Gnuusion of models + ww wT lo ae oh % bg ZO) ae ~ T3\o Noa Ti ,Ta,Ts outputs ase all 0. alo in Moore model . alk — outpuks ase game then only a gin stoke is needed: i ; @) a woh 3 0 Te | oe Comm lo | 1 | | | Scanned with CamScannerSiotr Synthuis fable ( Cisuuit excitation table o& stints taste) rm > memory clanents 2M > number off ftaales State ass quot Shot > Moose model 3 tkatd —> Mealy model we need 2 To seotize u gtatu —> 00,01, 11, 10 3 statu —> 00,01, 10 Based on the onde, Knot loge caaick chang Sxoke a. B=0, A=0 bs B80, Ast cl Bel, Aco a Bel, AR Sinks Synteute bale © Based on the Skip Nor used, ue durign stake tobte + Nosmalliy mK Hee Her 7 used 2ince tk hot masimam number a donk care states in WH exctation toble .°, Leads +> simples dusign eqpations Cose 1: ern Motel Eight Sout —> ‘ous. possible state Jen dws inpubt Co &1) Scanned with CamScannertote eld Te Ke Ta KA io. | |x ox sete oxK 1X TTT a | [ojx| fy o | | ty OV uN Excitation tonte oh TH Sp Rep: Scanned with CamScannerue Meaty, Model ar 5 Pacsent state Pacsent T Net state Pract |g, lyn tA RA, Trput jock | xn | Bon An Yn Mone Med: uke = An, Bn, Xn Tne: Oukpuke = Ta, Te, Ka, Ke, Yn Scanned with CamScannerScanned with CamScannerCLK Tnptementation using sead only nemo RomM— combinational Gauit- oukput ($ immediat Qwoikable when o pastinifar focotion in memony it addsused - Number of memory Locations = rumba of Rous in O skoke aynthuis tobe Each sow is aly idenkifed by paucnt ttnte ond patent input - Present state ond input it passed ty addatts whidh points + 7 spaces in ROM: Eoch Location a RoM contains next state vate, A the dawik- decoder Next skate inlgsmation en each state vaalabse Btored in ROM ig qivn to D Sep Hop impute Numbeo. as ep-Hops 2 rombu of stoke yoriabfet oh memony Lementt - MM clock digg, thy oppeax ok the outpuk of the Seep er: faust har advaned by Cok cyte one D Reap Ne oukputt Sue at e Scanned with CamScannerpatient state information and ast weve to ROM adders decode - Mong with patent input they foint bo another memory focation which has ewk stode information Since ROM W @ Combinotorial cinuuk, neat Skake vatau aXe immediatly owaitabic to > Keep Yor inputs Final owkqut iF qursated modtl ond otto wu dieck input in me tkate variables in Moose. Meaty modeh, Since thse axe 3 inpua, we wie @ Std Line devodes.« Une We oft use @ 8x2 Rom gine we need 2 bite ty store the «next state value We use hoo Kep-Mops A ond B+ X ik a dinect inpuk Hee we we hoo DOP eps Ledge striggued ) Ouagut [Y= Aba] Y ase nok dipud on X es Owput depends only on present state and net on pau input ) Scanned with CamScannerD Ant uk Flip ~ Flop A Scanned with CamScannerMeats Model | Rom H sige 6x2 is madialant D Hene fost hve fecattions of @xa ROM ase not used B-t0-8 pec Brot Ani Scanned with CamScannerAigouitemic Stake Mos (asm) Fitow choak Uihe aepsccentation of, AKe allqonithen O gtake machine gevionms Disadvantage fh acate bBonsition diagram « AS rumba 2s inputs inacaret dhe shake diagram space is crowded and vb it Asien to tad. Ravantage of ASM chast! Handle imp femendiation vasuet sith gftalth case J. Bebe ming emaner Nokations « Square box - stake enuaki unionditional ovdget Litoore moa) Diamond shaped Low, — decision to be taken Nose osiable of Condition ‘that i bested is plored inside with a gpution nash Toso exit path - Taut on False Oval shaped ber - cubpuk that depends on. prstent state ond prcent input (meaty modal) Cade, - staxk ond SHOP oA, alggsitte en and ofgo Lonnedko® goin when ASM choxt becomes tro flasge ond i dacwn ot more than one (oe Arse headed connedting fink — ening and ek Sg each ASM bfock: 4 Scanned with CamScannerASM chaxt ten sequence dekeckos problem ! ls Paceert state 2+ Dutput 3+ Tipu Ay Neck state lending Machine piebfer + Paoblen statement © Design a Aynchtonous ages wrizoh unit of 7a vending machine « The maine can take ony hoo dupes of coins A denomination | and 2 in any o8d8- Dutput o=1 wh Re-3 ib daiverd —othuwiae D=O a Re then cubpad =! ord. Re) win & aektianed « Solution * Solution Foo gersors ase used to gente dhe denomination ay the coins that give binary output at shoun) TRT Scanned with CamScannerending Machine Packiem | Problem _ statement To design a tynthesneut foie einai: Ip a: Vending madine: Assumptions « Re machine con accept ony 2 types of wink f denomination 1 and 2 in ony order- Th defives onty one product pred Red On acceving Red the produd ie delivucd and. oukput =) eke oukpuk = O° * te a fen ofso product a delivued and Rel is ete, Ra He qoaaned bok Thee one two sensors 4o sense the denorinotions o the win: Sotution | Moby model) Jet us orsids 3 Bakes, a > nowin insuded L— Rel insted. oe RE inseded pau, we ned > See ert “fo repre: Hhaee lek az 00 be OV c= 10 Scanned with CamScannerGrote synthesis table * sae Oe Outpt “| Pasent state Tnput_| New statd ie Da] Da Bn | __An |_| amr del * = — -- t | oer o}| © of of 0/0 | oO} o ° olo lo! ° ° \ | 2 jo af Tipit ort pe io out a | Es 1 jo jo jo fo ojo Jo hf | | oO \ oO 1 ° \ 0 \ ° ay oj}! 1 fo fv jo fe JP fa fo tha o jo |! ° ojo o ]° ie ro lo \ Jo o |1 oO 1 o }O {1 Jo 0 \ o |0 1 o 0 Oo 1 ji [o fo aie Q Scanned with CamScannerDee E8at TtAn* TBa An Bran DA " 10 te 1 oO Ci oO xr au o ° x Oo »@ o|xX]o -* p_e Sater TIGAAn Bran o oe lo |e e aif ial] ® amy ufo IQ bot a 10 8 O x< [1 LO jo jest’) Scanned with CamScanner+ pgs Bent S3Ant THEA BrAn Scanned with CamScannerfen the Rom based implementation, oe ke OO we-t-ib dewds Sine tere are a inpukt E)T) BasAne WE oho we Oo 1exs pom to, store next state Bros, Ants (2 wits) ond output %eY (abt): aD per ers ose wed to obtain next ptott Bnet Ane) Sor the proet tote Bn, An- Scanned with CamScannerASM Chost C Meaty medet) Scanned with CamScannerSeance of stepe to be peer wher dhawing ASM chask a Mealy model | i: Store (0, be) 2 Tnpet T- che oon} and then chek T 3° Oukputt % and ¥ fe Next state In genset segaence to be eee Pacsert state ——> Tnpubt —> Oudpukt \ Next stoke Meaty model Parserct stake —? Oude —? Inputs V Next state - Moot, motel Scanned with CamScannerGrate Reduction Tehnique “To Stmove aedundant — states UW) Row Efimination metood. Skates b and € ast equivalent Efiminate b on & By cfiminating @), mum oh pouk = 5 “Store ad and § ase equivatert "2 Epirrtdate A! of By Wiminating 4, rumba & aust = He Scanned with CamScannerAte. ddletion of state ¢ and £, Replace £ by de fad dose equivalent ond since $ is deleted bland ¢ lane eqprivatent « fox x=y a But dee x=0, boc i cb By faubology , bEC We’ ‘dete tena © Tre eet geduced table it state | Paeent outpad Paoent state | Ne =I ° ° o ° Scanned with CamScannerThe Yneb fedused Bote dingeam it, &» Tinphication table mnothod Gonsideaing he game — example dQ ond $ obt equaivatest Steph’ When X81, ce 2 elk a Now, gue o Aye Yes qratiol moshing ' Coo) tee —»> (0.0) (ob) on XE (4,4) Since (b,4) is abseady snaxked ., alto be moaked « Simifesty , 2-*) on X20) 77 (a) (arc) on x pI Co) yh ood Le tornbinations based om ab) wih Stace both Cai ot masked, Laydawilt nor be masked Scanned with CamScannerBosed. on thee moshing , again chek ies cqpinvolet iinta Sine (ac) on x=0-> (a,c) (oc) on xe1—> (44) Sine (a,e) and (bf) one masked) (ac) it cho masked. - Sterstdy , (bic) om x20-¥ Cost) (ed on x=1-> (4,4) But dis eqpivolort to $ Vo Upc) on X21 (4,4) Hence (bic) is not mashed. (bie) on X70 2 lee) (bre) on ye Caray " Ue) moh mnoshe i a Be ee) gk noe moka ie el ae eqpivaterd Scanned with CamScanner{tic} on =o 9 Ce,e) Gina b and'e ase Uquivolud [oie )y onyx 99,7 be»), 2 (ee) ie obs ee masked. ‘Land ‘ec! ase ‘alto |" eqpivotert bond “e —> eliminate © ‘A and “clo si tfimtnate © The iad koko ihe ane a,b ond d- Anyncksonous Sequeriol Cenaiit « (Evert — Daiven Ciseuik) No dd ito, Biggs, change Ah state. State chong One, Spigques by change in Trput signal. Main disadvantage 4 using aki =) 8 peed. & opeation in Limited by clock, eu Scanned with CamScannerState chang can only fake plan at Lime bent whee on > integer pried A dock signal 5 inwente of Geqpatniag Anatgis 4 aryrrckaon ous Arquenting cient ANd gote propagation defay o \ the qe ¢ > (dro u qe a * {x} | x > usseent output Dts 2 Ayrdtoet output ab ee Ts V5 | “TRat dane on, state table « Pal = pnw oprction | NO IGO) y. 2% 1{ of |@ aa Endsued - stonte shode Cau gag 9 oul HF ponup as al, yd bation ai Scanned with CamScannerCose 3° AsO, X=1 —> oulpubX= 0 Agger Hime Ty X= is handed bo a bem 0 Wom 1—> hence fe Case! A=\) Sl > output X=1 MTGE Hime T) xn1 is chanced to x + Remain ot 1 —> hewe Abable Th qinet, ws X > Gauik it stable X#EX —> cinorit ig Unstable Ps indicates Ranition Ghom unttante to stable state ( output vatue must be the forme) : NAND qo @ When A=0, 220 > ouput x= Ages Hee T, Keb Th thanedused t0 2 yo > henee / unstante » & Scanned with CamScannerCase 2° Al, x20 —> ouput x= 1 Het, te Ranshered to a after time T + REL > hence unstable Xt —> output X= 1 AK. Kime T, x= it transQused toe % demains at 1 —> hene stable Coxe Az\,x=t > output X=0 Lime T, x20 ik anfeaed to a unttable Two Tnput wanp Latch * Gnstaaint | uy) At a dime ody one - input vastable can change - Other input car ghange only when dhe dacit is sharitiged U usuotty ns) ® 0 one output variable dan change at a f ' 5 Hime jnikonk gince propagation Ait in dbqexert pot ase Basen Scanned with CamScannerB20,X20 —> X=4 Ke LtatB = OFOFIET Aco, Bel, t#0 —> x=0 nde ante son owen AGES Hime T, x20 ts thansted 4 x x gumaine ok 0 —> henee stable Simit stante and unstable state: ane, determined. Sen demaining six cases- Scanned with CamScannerusuults | Design of ctynshtoncut sequeniot Siote trorsition diogtom - to eo a an ot 19 mS — " 00 Kasnangh map | Tnpurs = 4 and B Present araker ane o &b }ek a=0 bel fn gtate'a! in 2” Stoke oon inputs 0° qemains Fiest cedd in the K-mop ale ( getains Stable gota are art iiate:) + tok § atadle states gtata in he stale Since thee oe trac rust be, bog,? Hhansibion dagen 4 Geedbact aa Quaback \e Scanned with CamScanner[et the cutpat be X ile oer and Gioke a > 2F0 —> 151 As Stare & 8 % = AyAB Scanned with CamScanner