bilder
Optimierer und Simluator für PAL/GAL basierte Zustandsautomaten
Es wurde ein Toolchain zur Optimierung und Simulation von logischen Netzwerken unter Anwendung programmierbarer Logikbausteine entwickelt:
- Erzeugung der Logiknetze einer FSM (finite state machine) aus der Zustandsbeschreibung und den Übergangsbedingungen.
- Optimierung von logischen Gleichungen nach dem QMC-Verfahren.
- Konverter zur Erzeugung der Dokumentation und zum Export zur PAL/GAL Programmiersoftware.
- Simulator für logische Schaltungsnetze; unterstützt werden neben einfachen logischen Verknüpfungen auch komplexe Konzepte wie Speicher, Register u.a.