|
Search the dblp DataBase
Jens Schönherr:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sergej Sawitzki, Rainer G. Spallek, Jens Schönherr, Bernd Straube
Formal Verification for Microprocessors with Extendable Instruction Set. [Citation Graph (0, 0)][DBLP] ASAP, 2000, pp:47-55 [Conf]
- Jens Schönherr, Bernd Straube
Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level. [Citation Graph (0, 0)][DBLP] DATE, 2000, pp:759- [Conf]
- Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] EUROMICRO, 1999, pp:1075-0 [Conf]
- Sergej Sawitzki, Jens Schönherr, Rainer G. Spallek, Bernd Straube
Formal Verification of a Reconfigurable Microprocessor. [Citation Graph (0, 0)][DBLP] FPL, 2000, pp:781-784 [Conf]
- Jens Schönherr
Smooth biarc curves. [Citation Graph (0, 0)][DBLP] Computer-Aided Design, 1993, v:25, n:6, pp:365-370 [Journal]
- Martin Freibothe, Jens Schönherr, Bernd Straube
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:3, pp:23-35 [Journal]
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|