Generierung effizienter Verhaltensmodelle mittels Modellkompilierung und Modellreduktion
Conference: ANALOG '08 - Entwicklung von Analogschaltungen mit CAE-Methoden - Schwerpunkt: Constraint-basierte Entwurfsmethoden - 10. GMM/ITG-Fachtagung
04/02/2008 - 04/04/2008 at Siegen
Proceedings: ANALOG '08
Pages: 6Language: germanTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
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)
Abstract:
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.