Ruión stos quivlnts Mrio Min. mriomin@u.l Ruión stos quivlnts Proso isño ntrior no sgur l númro mínimo stos Ruión númro stos Ru l númro lip-lops Ru l lógi ominionl Asignión vrils sto tmién pu ruir lógi ominionl Mrio Min Ejmplo onvrsor sril óigo BD óigo Exso- Bit mnos signiitivo s ri primro Análisis it--it Tl stos Digrm stos Estos quivlnts Estos J, K y L son quivlnts Mism sli, misms trnsiions A Estos N, M y P son quivlnts Estos H I son quivlnts Estos H, I, J, K y L son unionlmnt quivlnts Mism sli, misms trnsiions A pr X= Estos E, F y G son quivlnts Mrio Min.
Tl stos rui Tl trnsiions Mps xitión Supon lip-lop D iruito onvrsor BD Exso- Implmntión on NAND Ejmplo: ttor sunis on riniilizión Tl stos onstruir un iruito sunil qu ri omo ntr X un suni s y s y gnr sli Z= si l suni ntr s ó El iruito s riniiliz its X = Z = Gnrrmos toos los posils stos Mrio Min.
Digrm stos orrsponni ils Estos H I son quivlnts Tinn l mismo omportminto rnt ls misms ntrs Pomos rmplzr I por H n l tl Estos K, M, N, P son tmién quivlnts H Estos J y L son quivlnts on stos mios, G y D son iéntis E y F tmién lo son orrsponni ils Tl stos rui Digrm stos Equivlnt igrm stos primitivo y visto Ruión stos quivlnts Vrmos os métoos Métoo ls prtiions Métoo l tl implini Tmién llm igrm prs Amos métoos llvn rsultos quivlnts Prmitn nontrr toos los stos quivlnts Mrio Min.
Métoo ls prtiions Por un onuto s nvín tos utro its n orm sriliz. Disñr un iruito sunil sinrónio qu tt iniqu l rpión l urto it si l sguno y l urto it nvios stuviron n sto. X = Z = Métoo ls prtiions Digrm stos izquir / rh / / / / / / / / / / / / / / / / / / / / / / / / / / / / / Métoo ls prtiions Tl on stos runnts Esto Atul Próximos Estos (n+) X= X= Esto Z n Esto Z n Métoo ls prtiions Ruión stos Agrup sgún ls slis: Z= ls Z= ls ls ls Ahor grup sgún próximos stos. ls ls Métoo ls prtiions Métoo ls prtiions Ruión stos ontinú grupno hst no xistn más stos inistinguils. Ruión stos ontinú grupno hst no xistn más stos inistinguils. ls ls ls ls ls ls ls Mrio Min.
Métoo ls prtiions Digrm inl stos En rojo s mustr l sto iniil / / / / / / / / / / / / -/ -/ / / -/ / / -/ Métoo ls prtiions Tl inl stos Esto Atul Próximos Estos (n+) X= X= Slis Z n X= X= Diniión omportminto no spiio Asignión vrils sto stos rquirn FF, y stos no inios. Pr los stos no inios: Dinir trnsiión stos inios. Agrgr un iruito iniilizión los FF, onto LR o PRE, y orzr un sto iniil (l lh roj n l igrm stos). D st orm los stos no inios qun omo suprluos. Diniión omportminto no spiio Asignión vrils sunris -/ -/ / / -/ / / -/ Diniión omportminto no spiio Dinirmos los stos ininios (L= y S=) l siguint mnr. S -/ L -/ -/ -/ / / -/ / / -/ Esto Atul n Próximos Estos (n+) X= X= Slis Z n X= X= Diniión omportminto no spiio Mps trnsiions y sli Z = A B X Mrio Min.
Diniión omportminto no spiio Mps y uions xitión utilizno FF-T T A = A B X + AB T B = A B + AB + A B T = A B X + B + A Diniión omportminto no spiio iruito inl T A = A B X + AB T B = A B + AB + A B T = A B X + B + A Métoo l tl impliión Dos stos qu tinn ls misms slis nt ls misms ntrs son quivlnts Tl impliión o igrm prs Prmit nontrr toos los stos quivlnts ompr toos los stos ntr sí y trmin oniions nsris y suiints pr l quivlni los stos Métoo l tl impliión S l siguint tl stos Tl impliión ompr toos los stos ntr sí on -h on -h Y sí susivmnt Tl impliión (I) Primro, mrr on X qullos stos uys slis son irnts A y, A y E, A y F, A y H Eliminr los prs utoimplios A y D; D y A Tl impliión (II) Lugo, rvisr nuvmnt l tl D y F tinn X, por lo qu A y B (qu pn D y F) tmién tin X Y sí susivmnt Mrio Min.
Tl impliión (III) D l tl inl, pu irs qu y E son quivlnts A y D son quivlnts Toos los otros stos (B, F, G, H) son inpnints Tl stos rui Proso trmin si no s grgn más X l tl Proiminto onstruión onstruir igrm prs omprr pr ils l tl Si ls slis son irnts, mrr on X Eliminr los prs utoimplios Si ls slis son iguls, mrr los prs implios Rptir hst qu no pu mrr más X Finlmnt, i s igul j pr to l i-j qu no ontng un X Mrio Min.