Automatische nichtlineare Verhaltensmodellgenerierung mit sequentieller Gleichungsstruktur

Inhalt:
In einem systematischen hierarchischen Analogschaltungsentwurf ist die Anwendung von Verhaltensmodellen von besonderer Bedeutung. Allerdings zeigt sich, dass die Simulationsgeschwindigkeiten von automatisiert Bottom- Up-erzeugten Verhaltensmodellen im Vergleich zu der Simulation äquivalenter Transistornetzlisten unterlegen ist, so dass effizientere Formulierungen und Auswertungsmechanismen von großem Interesse sind. Diese Arbeit beschäftigt sich mit den Möglichkeiten, die eine Identifizierung und Ausnutzung sequentieller Strukturen in den Verhaltensmodellen bieten. Zusammen mit symbolischen Vereinfachungstechniken ergeben sich so neue Ansätze zur automatisierten Generierung von effizienten Verhaltensmodellen.