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 entscheidend verbessert werden kann.      «

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...     »