Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Knoth, C.; Platte, D.; Halfmann, T.; Broz, T.; Rotter, P. 
Titel:
Generierung effizienter Verhaltensmodelle mittels Modellkompilierung und Modellreduktion 
Seitenangaben Beitrag:
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 en...    »
 
Kongress- / Buchtitel:
10. GMM/ITG-Fachtagung Analog 
Jahr:
2008 
Sprache:
de 
Format:
Text