098 099

Rys. 3.40. Tablica przejść 1 zakodowany graf do przykładu 3.15

Rys. 3.41. Graf układu z rys. 3-39 zakodowany tak, aby nie występowały wyścigi

Przykład 3.16

Zakodować układ asynchroniczny dany grafem przedstawionym na rys. 3-42.

Rys. 3«42. Graf do przykładu 3*16

Łatwo można sprawdzić, że kodując układ liczbami dwubitowyai nie da się uniknąć wyścigów krytycznych, gdyż stan jł ma trzech sąsiadów, a w zbiorze liczb dwubitowych nie ma liczby sąsiedniej w sensie Hamminga do trzech pozostałych. Zwiększając ilość bitów do trzech, można łatwo zakodować układ tak, aby nie występowały wyścigi, np. a-110, p —111,    $-101, tS-011.

Przykład 3.17

Zakodować układ asynchroniczny dany grafem przedstawionym na rys. 3.43&' Przedstawionego grafu nie da się zakodować bez wyścigów krytycznych, nawet zwiększając dowolnie ilość bitów opisujących stan. Jedynym rozwiązaniem będzie wprowadzenie dodatkowego stanu niestabilnego, który wyeliminuje wyścigi. Jedno z możliwych rozwiązań pokazano na rys. 3.43b. Gdy układ ten znajduje się w stanie 11, to pod wpływem sygnału wejściowego 11 przechodzi do niestabilnego stanu 10, a następnie do stanu stabilnego 00 bez wyścigów.    &