Metody kodowania automatów asynchronicznych

Głównym problemem, ograniczającym wykorzystanie automatów asynchronicznych w syntezie systemów cyfrowych jest możliwość wystąpienia wyścigów (gonitw) krytycznych, powodujących niepoprawną pracę układu. Występowaniu tych zjawisk zapobiega się poprzez odpowiednie kodowanie stanów. W artykule zaprezentowano, stosowane powszechnie metody kodowania oraz, opracowana przez autora metodę opartą na warunkach elementarnych.

---

The main problem that limits the use of asynchronous automata for the synthesis of digital systems is the possibility of a race (race) critical, resulting in incorrect operation of the system. The occurrence of these phenomena is prevented by appropriate encoding states. The article presents, commonly used methods of coding and developed by the author's method based on the terms of elementary.