Logiksynthese
aus Wikipedia, der freien Enzyklopädie
Die Logiksynthese ist ein Bereich der technischen Informatik und Elektrotechnik/Nachrichtentechnik, der sich mit dem Entwurf von Schaltkreisen beschäftigt, die eine Boolesche Funktion realisieren. Basis ist die Boolesche Algebra. Ziel ist es, aus den vielen Möglichkeiten zur Realisierung einer Booleschen Funktion die Kostengünstigste zu finden. Für die Realisierung von Booleschen Funktionen durch ein PLA bedeutet kostengünstig, eine Boolesche Funktion mit möglichst wenig Zeilen (entsprechend den Monomen des Booleschen Ausdrucks) sowie insgesamt möglichst wenig Transistoren pro Zeile (entsprechend den Literalen des Booleschen Ausdrucks) zu finden. Dies wird mit dem Verfahren nach Quine und McCluskey oder der veralteten Methode des Karnaugh-Veitch-Diagramms erreicht. Für FPGAs ist die Aufgabenstellung komplexer da die selbe Funktion aus verschiedenen Grundenelementen des FPGA realisiert werden kann. Beispielsweise kann ein 4 bit Schieberegister aus:
- 4 Flipflops oder
- einem SRL16-Makro (16 bit Schieberegister) oder
- einem Multiplizierer oder
- einem SRAM-Block
realisiert werden. Für eine optimale Lösung sind hierbei die logischen Gleichungen um Randbedingungen (engl. constraints) zu ergänzen.
Bei der Entwicklung von digitalen integrierten Schaltkreisen, wie zum Beispiel Mikroprozessoren, ist die Logiksynthese einer von mehreren Entwurfsschritten.
Siehe auch: