| 2008 |
|---|
| 8 | 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 |
|---|
| 7 | 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 |
|---|
| 6 | | 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 |
| 2000 |
|---|
| 5 | EE | Sergej Sawitzki,
Rainer G. Spallek,
Jens Schönherr,
Bernd Straube:
Formal Verification for Microprocessors with Extendable Instruction Set.
ASAP 2000: 47-55 |
| 4 | EE | Jens Schönherr,
Bernd Straube:
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level.
DATE 2000: 759 |
| 3 | EE | Sergej Sawitzki,
Jens Schönherr,
Rainer G. Spallek,
Bernd Straube:
Formal Verification of a Reconfigurable Microprocessor.
FPL 2000: 781-784 |
| 1999 |
|---|
| 2 | EE | Jens Schönherr,
Ingo Schreiber,
Eva Fordran,
Bernd Straube:
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.
EUROMICRO 1999: 1075- |
| 1993 |
|---|
| 1 | EE | Jens Schönherr:
Smooth biarc curves.
Computer-Aided Design 25(6): 365-370 (1993) |
