Verifikation und Synthese struktureller Eigenschaften von Analog-/Mixed-Signal-Schaltungen mittels Constraintprogrammierung am Beispiel von ESD- und Level-Shifting-Netzwerken
Zusammenfassung der Projektergebnisse
Der Entwurf von Analog/Mixed-Signal-Schaltungen ist durch vielfältige Randbedingungen gekennzeichnet. Für eine stärkere Automatisierung des Entwurfs müssen diese Randbedingungen automatisiert erfasst werden. In diesem Forschungsvorhaben wurden zwei neue Ansätze entwickelt, um Randbedingungen des Analog/Mixed-Signal-Schaltungsentwurfs automatisiert aus der gegebenen Netzliste einer Schaltung zu generieren. Zum einen wurde eine sogenannte Funktionsblockbibliothek für Basisbausteine z.B. von Operationsverstärkern entwickelt, mit der Nebenbedingungen und analytische Gleichungen für den Entwurf erzeugt werden. Zum anderen wurde eine einfache konstruktive Methode entwickelt, um für eine gegebene Klasse von Schaltungen erst eine Strukturblockbibliothek zu erzeugen. Weiterhin wurden erste Ansätze verfolgt, um das in Entwürfen mit solchen Bibliotheken enthaltene Wissen in Form von neuronalen Netzen für die Schaltungsdimensionierung nutzbar zu machen.
Projektbezogene Publikationen (Auswahl)
-
Library-free Structure Recognition for Analog Circuits. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1366-1371. IEEE.
Neuner, Maximilian; Abel, Inga & Graeb, Helmut
-
A functional block decomposition method for automatic op-amp design. Integration, 85, 108–120.
Abel, Inga; Neuner, Maximilian & Graeb, Helmut
-
Learning from the Implicit Functional Hierarchy in an Analog Netlist. Proceedings of the 2023 International Symposium on Physical Design, 93-100. ACM.
Graeb, Helmut & Leibl, Markus
