| 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) |
| 2004 |
|---|
| 3 | | 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 |
| 1995 |
|---|
| 2 | EE | Jörg Bormann,
Jörg Lohse,
Michael Payer,
Gerd Venzl:
Model Checking in Industrial Hardware Design.
DAC 1995: 298-303 |
| 1992 |
|---|
| 1 | | Jörg Bormann,
H. Nusser-Wehlan,
Gerd Venzl:
Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives.
Designing Correct Circuits 1992: 193-213 |
