Metoda syntezy dowolnych automatów skończonych klas А i В
(metoda А2)

Metoda A2 syntezy złożonych automatów skończonych klas A i B pozwala budować na PLD automaty praktycznie o nieograniczonej złożoności, jednak nie gwarantuje najwyższej szybkości działania automatu. Dla zwiększenia szybkości działania automatu skończonego w metodzie A2 rozszczepienie stanów wykonuje się dla ograniczenia liczby przejść tylko w „złe” stany, przy czym algorytm rozszczepienia nigdy nie rozchodzi się. W celu zmniejszenia złożoności realizacji (mierzonej liczbą wykorzystanych makrokomórek PLD) liczba R bitów kodu zmienia się od wartości intlog₂M do М, gdzie M – liczba stanów wewnętrznych automatu skończonego. Następnie z otrzymanych rezultatów syntezy wybiera się najlepsze rozwiązanie ze względu na koszt i szybkość działania. Przy ocenie kosztów realizacji uwzględnia się różne sposoby przyporządkowywania termów makrokomórkom wyjściowym PLD.

W obu metodach A1 i A2 syntezy automatów skończonych A i B przewiduje się możliwość programowania poziomu logicznego sygnałów wyjściowych PLD dla obniżenia kosztu realizacji.

<powrót>