Benutzer: Gast  Login
Titel:

Generierung effizienter Verhaltensmodelle mittels Modellkompilierung und Modellreduktion

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Knoth, C.; Platte, D.; Halfmann, T.; Broz, T.; Rotter, P.
Seitenangaben Beitrag:
6
Abstract:
Symbolische Methoden sind ein vielversprechendes Werkzeug zur automatischen bottom-up Generierung von analogen Verhaltensmodellen für den Verifikationsprozess beim Schaltungsentwurf. Im Vergleich zur Schaltungs- simulation 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 entsch...     »
Kongress- / Buchtitel:
10. GMM/ITG-Fachtagung Analog
Jahr:
2008
Sprache:
de
Format:
Text
 BibTeX