User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Knoth, C.; Platte, D.; Halfmann, T.; Broz, T.; Rotter, P. 
Title:
Generierung effizienter Verhaltensmodelle mittels Modellkompilierung und Modellreduktion 
Pages contribution:
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...    »
 
Book / Congress title:
10. GMM/ITG-Fachtagung Analog 
Year:
2008 
Language:
de 
Format:
Text