Metoda syntezy wspólnego modelu automatów skończonych klas ADE (metoda А7)
Metoda A7 syntezy wspólnego modelu automatów skończonych klas ADE pozwala najbardziej efektywnie wykorzystać możliwości architektur PLD: przerzutniki buforów wejściowych i makrokomórek wyjściowych w charakterze elementów pamięci automatu skończonego. Cechą charakterystyczną metody A7 jest maksymalne wykorzystanie modeli automatów klas D i E, co pozwala zminimalizować liczbę R elementów pamięci. W metodzie A7 wykorzystuje się rozszczepienie stanów wewnętrznych względem wektorów zmiennych wejściowych i wyjściowych.