Verification-Oriented Behavioral Modeling of Non-Linear Analog. - Martin Freibothe; Jens Döge; Torsten Coym; Stefan Ludwig; Bernd Straube; Ernst Kock (FDL, 2006)

Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. - Martin Freibothe; Jens Döge; Torsten Coym; Stefan Ludwig; Bernd Straube; Ernst Kock (MBMV, 2006)