Please use this identifier to cite or link to this item:
doi:10.22028/D291-25740
Title: | Mehrstufige Logiksynthese unter Ausnutzung funktionaler Eigenschaften |
Author(s): | Scholl, Christoph |
Language: | German |
Year of Publication: | 1996 |
SWD key words: | Logiksynthese ; Schaltfunktion ; Partitionierung ; Dekomposition |
DDC notations: | 004 Computer science, internet |
Publikation type: | Dissertation |
Abstract: | In dieser Arbeit werden Logiksyntheseverfahren entwickelt, die auf der rekursiven Zerlegung Boolescher Funktionen beruhen.Wesentliche Merkmale der Algorithmen sind die Identifizierung mehrfachverwendbarer Teillogik, die Ausnutzung von Struktureigenschaften wie Symmetrien und die Ausnutzung von don't cares partieller Funktionen. Der Erfolg der gewählten Vorgehensweise wird anhand experimenteller Resultate demonstriert.
Auch bei Problemstellungen, die schon intensiv unter Einsatz menschlicher Intelligenz bearbeitet wurden, konnten mit Hilfe des hier vorgestellten automatischen Logiksyntheseverfahrens konkurrenzfähige Entwürfe erzielt werden. Anhand von Beispielen erkennt man sogar, daß es denkbar ist, Realisierungen, die durch das automatische Logiksynthesewerkzeug erzeugt wurden, als Anregeung für parametrisierte Entwürfe (d.h. Entwürfe mit variabler Bitbreite) zu nutzen. In this thesis we develop methods for logic synthesis by recursive functional decomposition. Essential features of the algorithms are the identification of reusable subcircuits to achieve as much logic sharing as possible, the exploitation of structural properties of boolean functions like symmetries, and the exploitation of don't care sets of incompletely specified boolean functions. The success of the chosen approach is shown by experimental results. Even for problems, which were already studied intesively using human intelligence, we could acierve competitive designs by means of our automatic logic synthesis procedure. By an analysis of the realizations produced by our synthesis tool it is even possible to get an idea how to derive regular parametric designs (i.e. designs with variable numbers of inputs). |
Link to this record: | urn:nbn:de:bsz:291-scidok-2313 hdl:20.500.11880/25796 http://dx.doi.org/10.22028/D291-25740 |
Advisor: | Günter Hotz |
Date of oral examination: | 14-Apr-1997 |
Date of registration: | 11-May-2004 |
Faculty: | MI - Fakultät für Mathematik und Informatik |
Department: | MI - Informatik |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
ChristophScholl_ProfDrGuenterHotz.pdf | 6,62 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.