| 2008 |
|---|
| 4 | EE | Jens Schönherr,
Martin Freibothe,
Bernd Straube,
Jörg Bormann:
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking.
Theor. Comput. Sci. 404(3): 293-307 (2008) |
| 2006 |
|---|
| 3 | EE | Martin Freibothe,
Jens Doege,
Torsten Coym,
Stefan Ludwig,
Bernd Straube,
Ernst Kock:
Verification-Oriented Behavioral Modeling of Non-Linear Analog.
FDL 2006: 53-60 |
| 2 | EE | Martin Freibothe,
Jens Schönherr,
Bernd Straube:
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking.
Electr. Notes Theor. Comput. Sci. 153(3): 23-35 (2006) |
| 2004 |
|---|
| 1 | | Martin Freibothe,
Jens Schönherr,
Bernd Straube,
Jörg Bormann:
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.
ISoLA (Preliminary proceedings) 2004: 181-187 |
