Generierung effizienter Verhaltensmodelle mittels Modellkompilierung und Modellreduktion
Konferenz: ANALOG '08 - Entwicklung von Analogschaltungen mit CAE-Methoden - Schwerpunkt: Constraint-basierte Entwurfsmethoden - 10. GMM/ITG-Fachtagung
02.04.2008 - 04.04.2008 in Siegen
Tagungsband: ANALOG '08
Seiten: 6Sprache: DeutschTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Knoth, Christoph (Technische Universität München)
Platte, Daniel (Qimonda AG, München)
Halfmann, Thomas; Broz, Jochen (Fraunhofer ITWM, Kaiserslautern)
Rotter, Peter (Infineon Technologies AG, München)
Inhalt:
Symbolische Methoden sind ein vielversprechendes Werkzeug zur automatischen bottom-up Generierung von analogen Verhaltensmodellen für den Verifikationsprozess beim Schaltungsentwurf. Im Vergleich zur Schaltungssimulation zeigten diese Verhaltensmodelle bislang allerdings eine unzureichende Simulationsperformance. In diesem Beitrag wird gezeigt, wie mittels eines neuen kombinierten Ansatzes von symbolischer Modellreduktion und optimierter Modellkompilierung die Simulationsperformance entscheidend verbessert werden kann.