Syntéza asynchrónneho obvodu zadaného tabuľkou prechodov a výstupov

Urobte syntézu asynchrónneho obvodu zadaného tabuľkou prechodov a výstupov. Pri návrhu zabezpečte odstránenie kritických súbehov.
Pri návrhu použite elementárne automaty RS a logické členy NOR.

Kritické súbehy odstránime v danom asynchrónnom obvode susedným kódovaním. Na kódovanie štyroch uvedených stavov by sme potrebovali minimálne 2 premenné. To však nestačí, lebo nech sa snažíme akokoľvek, vždy bude mať jeden stav kód 11 a ďalší 00, čo už nie je susedné kódovanie. Preto použijeme tri premenné.
Ak sa pozrieme na REF _Ref533157703 \h obrázok 1 - Stavový diagram podľa zadania, vidíme, že z všetkých stavov vedie prechod do stavu S2, preto tento stav označíme kódom 000. Stav S1 môžeme označiť kódom 001, stav S3 kódom 010 a stav S0 kódom 100. Toto kódovanie však spôsobí problémy pri prechode zo stavu S0 do stavu S1, resp. zo stavu S0 do S3 a späť. Preto dodefinujeme jeden stav Sa medzi stavy S0 a S1 a druhý, Sb medzi stavy S0 a S3 tak, ako to uvádza REF _Ref533159001 \h obrázok 2 - modifikovaný stavový diagram so zaznačenými kódmi.
...