Minimlizj utomtu Minimlizj utomtu to minimlizj lizy stnów. Jest to trnsformj utomtu o nej tliy przejśćwyjść n równowżny mu (po wzglęem przetwrzni sygnłów yfrowyh) utomt o mniejszej lizie stnów wewnętrznyh. Jest to prwie zwsze możliwe, gyż w proesie pierwotnej speyfikji zęsto wprowzne są stny nmirowe lu równowżne. Minimlizj lizy stnów S x Z S S S S S S S S S S S S S S S S S S S B B B B zysty zysk zmist trzeh przerzutników tylko w!
nformj l zinteresownyh syntezą logizną Mterił z tego wykłu jest prezentowny również w rmh wykłu prof. M. erkowskiego EE Design o sequentil iruits w ortln Stte Uniersity Jest to wykł oszerniejszy niż nsz o oejmuje wyłąznie ukły sekwenyjne http://we.es.px.eu/~mperkows/lss_/.html Z
Minimlizj lizy stnów Relj zgonośi n ziorze stnów S: (pry stnów zgonyh) Mksymlne ziory stnów zgonyh (Mksymlne Klsy Zgonośi) Selekj ziorów zgonyh spełnijąyh tzw.: wrunek pokryi wrunek zmknięi Z
ojęi postwowe Dw stny wewnętrzne Si, Sj są zgone, jeżeli l kżego wejśi mją one niesprzezne stny wyjść, ih stny nstępne są tkie sme lu niesprzezne. x S Stny zgone wrunkowo Stny zgone Stny sprzezne Z Dw stny wewnętrzne S i, S j są zgone wrunkowo, jeżeli ih stny wyjść są niesprzezne orz l pewnego V pr stnów nstępnyh o S i, S j (ozn. S k, S l ): (S i, S j ) (S k, S l ) Stny Si, Sj są sprzezne, jeżeli l pewnego V ih stny wyjść są sprzezne.
Relj zgonośi Ze wzglęu n zgoność wrunkową w olizenih (wszystkih!) pr zgonyh posługujemy się tzw. tlią trójkątną. li trójkątn zwier tyle krtek, ile jest wszystkih możliwyh pr stnów. N przykł l utomtu o stnh: Z
li trójkątn x (i,j) Krtki tliy wypełnimy symolmi: jeżeli pr stnów jest zgon, x jeżeli pr stnów jest sprzezn, lu (i,j) prą (prmi stnów nstępnyh), jeżeli jest to pr zgon wrunkowo. Z
Z li trójkątn przykł,;,
li trójkątn przykł o wypełnieniu tliy sprwzmy, zy pry stnów sprzeznyh (zznzone ) nie występują przypkiem jko pry stnów nstępnyh. Jeśli są tkie pry, to nleży je skreślić (zyli zznzyć ). roes ten trze powtrzć tk ługo, ż sprwzone zostną wszystkie krzyżyki.,, szystkie krtki niewykreślone opowiją prom zgonym: (,); (,); (,); (,); (,); (,); (,); (,); (,).,,,;, Z 8
Oliznie MKZ o wyznzenie zioru pr stnów zgonyh, przystępujemy o olizeni: mksymlnyh ziorów stnów zgonyh. Mksymlne klsy zgonośi (MKZ)...znmy o njmniej trzy metoy olizni MKZ! Z 9
...wrmy o przykłu ry zgone: (,); (,); (,); (,); (,); (,); (,); (,); (,),,,,,,,,, MKZ:,,,,,,,,,,,,,, MKZ = {{,,,}, {,}, {,}, {,}} Z
lgorytm minimlizji ) yznzenie pr stnów zgonyh, ) Olizenie mksymlnyh ziorów stnów zgonyh (MKZ), ) Selekj ziorów spełnijąyh tzw. wrunek pokryi () i zmknięi (): ) kży stn musi whozić o njmniej o jenej klsy; ) l kżej litery wejśiowej wszystkie nstępniki (stny nstępne) nej klsy muszą whozić o jenej klsy. Z
Z runek pokryi przykł MKZ = {{,,,}, {,}, {,},,}} y spełnić wrunek pokryi wystrzy wyrć klsy: {,,,}, {,}
Z runek zmknięi przykł Dl wyrnyh kls {,,,},{,}} olizmy ih nstępniki:,,,, Nie jest spełniony wrunek zmknięi!,,,,,,!,!
Z runek pokryi i zmknięi rug pró,, B, MKZ = {{,,,}, {,}, {,}, {,}} yór: B B B B {,}, {,}, {,},, O.K.
Z Jeszze jeen przykł 8 8 8 8 8 8
Jeszze jeen przykł.. 8 8 8 8 ry zgone:,,,,8,,,,,,,,8,,8 MKZ:,,8,,,,,,,,,,,8 Z
Jeszze jeen przykł.. 8 MKZ:,,8,,,,,,,,,,,8 8,,8,,,,,,,,,,,8 δ(,s i ) δ(,s i ) 8 8 8 Z
8 Z Jeszze jeen przykł.. 8 8 8 8 8 δ(,s i ) δ(,s i ),8,,,,,,,,,,,,8 B B B X S B utomt minimlny:
Detektor sekwenji Zprojektowć ukł sekwenyjny Mely ego o jenym wejśiu inrnym i jenym wyjśiu inrnym. Ukł m ć kolejne trójki symoli wejśiowyh. Sygnł wyjśiowy pojwijąy się pozs trzeiego skoku ukłu m wynosić, gy trójk m postć,, gy trójk jest innej posti. Sygnł pojwijąy się pozs pierwszego i rugiego skoku ukłu może yć nieokreślony. / / / / / / / / / / / / / / Z 9
Z Detektor sekwenji / / / / / / / / / / / / / / / / / / / / / / / / / / S S
Minimlizj etektor sekwenji S X,,,,,, Brzo użo pr zgonyh! Do wyznzeni MKZ wykorzystmy pry sprzezne, któryh jest znznie mniej (wie). Z
Minimlizj etektor sekwenji ry sprzezne zpisujemy w posti wyrżeni oolowskiego typu ilozyn (koniunkj) wuskłnikowyh sum. etektorze sekwenji pry sprzezne są: (, ); (, ). N tej postwie zpisujemy wyrżenie: ( ) ( ), które po wymnożeniu uzyskuje postć: ( ) ( ) = Z Oejmują o zioru S = {,,,, } wszystkih stnów ziory zpisne w poszzególnyh skłnikh uzyskujemy rozinę wszystkih MKZ. {,,,, } {, } = {,, } {,,,, } {, } = {,, } {,,,, } {, } = {,, } {,,,, } {, } = {,, }
Minimlizj etektor sekwenji X S S MKZ: {,, }, {,, }, {,, }, {,, } X Klsy {,, }, {,, } spełniją wrunek pokryi, Funkj przejść l wszystkih MKZ le nie spełniją wrunku zmkniętośi stny nstępne: {,,}! Dokłmy klsę {,,} Z Klsy: {,,}, {,, }, {,, } spełniją wrunek pokryi i zmkniętośi S X B S X B B
... to już yło S X B B Uzyskny utomt ył już relizowny n przerzutnikh i rmkh wykł z, plnsze o. Omówiliśmy ły proes syntezy! Zprojektowć ukł sekwenyjny Mely ego o jenym wejśiu inrnym i jenym wyjśiu inrnym. Ukł m ć kolejne trójki symoli wejśiowyh. Sygnł wyjśiowy pojwijąy się pozs trzeiego skoku ukłu m wynosić, gy trójk m postć,, gy trójk jest innej posti. Sygnł pojwijąy się pozs pierwszego i rugiego skoku ukłu może yć nieokreślony. x x Y LK Q Q Q Q Z