Obwody cyfrowe - algorytmiczne maszyny stanowe
Każdy digital systemmożna podzielić na dwie części. Są to obwody ścieżki danych (cyfrowe) i obwody sterujące. Obwody ścieżki danych pełnią takie funkcje, jak przechowywanie informacji binarnych (danych) i przesyłanie danych z jednego systemu do drugiego. Natomiast obwody sterujące determinują przepływ operacji układów cyfrowych.
Trudno jest opisać zachowanie dużych maszyn stanowych za pomocą diagramów stanów. Aby przezwyciężyć tę trudność, można zastosować wykresy algorytmicznej maszyny stanów (ASM).ASM chartssą podobne do schematów blokowych. Są używane do reprezentowania przepływu zadań do wykonania przez obwody ścieżki danych i obwody sterujące.
Podstawowe elementy wykresów ASM
Poniżej przedstawiono trzy podstawowe składniki wykresów ASM.
- Pole stanu
- Pole decyzyjne
- Warunkowe pole wyjściowe
Pole stanu
Pole stanu jest przedstawione w kształcie prostokąta. Każde pole stanu reprezentuje jeden stan obwodu sekwencyjnego. Pliksymbol pola stanu pokazano na poniższym rysunku.
Ma jeden punkt wejścia i jeden punkt wyjścia. Nazwa stanu jest umieszczana po lewej stronie pola stanu. Bezwarunkowe wyjścia odpowiadające temu stanowi mogą być umieszczone wewnątrz skrzynki stanu.Moore wyjścia automatu stanowego mogą być również umieszczone wewnątrz skrzynki stanu.
Pole decyzyjne
Ramka decyzyjna jest przedstawiona w kształcie rombu. Pliksymbol pola decyzyjnego pokazano na poniższym rysunku.
Posiada jeden punkt wejścia i dwie ścieżki wyjścia. Wejścia lub wyrażenia logiczne można umieścić w polu decyzyjnym, które należy sprawdzić, czy są prawdziwe lub fałszywe. Jeśli warunek jest prawdziwy, preferuje path1. W przeciwnym razie będzie preferować path2.
Warunkowe pole wyjściowe
Warunkowe pole wyjściowe jest przedstawione w kształcie owalu. Pliksymbol warunkowego pola wyjściowego pokazano na poniższym rysunku.
Ma również jeden punkt wejścia i jeden punkt wyjścia podobny do skrzynki stanu. Wyjścia warunkowe można umieścić w skrzynce stanu. Ogólnie,Mealywyjścia maszyny stanu są reprezentowane wewnątrz warunkowego pola wyjściowego. Tak więc, w oparciu o wymaganie, możemy prawidłowo używać powyższych komponentów do rysowania wykresów ASM.