Machen kann man sowas, aber das funktioniert auch nur wenn in dem GAL nur einfache Verknüpfungen (Und, Oder, Nand, Nor, Exor, etc.) drin sind. Sobald in das GAL Zeit- und Zustandsabhängige Funktionen mit Flipflops integriert sind, wird das unüberschaubar.