| 2001 |
|---|
| 7 | EE | Christian Stangier,
Ulrich Holtmann:
Applying Formal Verification with Protocol Compiler.
DSD 2001: 165-169 |
| 1999 |
|---|
| 6 | | Christian Stangier,
Ulrich Holtmann:
Applying Formal Verification with Protocol Compiler
Universität Trier, Mathematik/Informatik, Forschungsbericht 99-29: (1999) |
| 1998 |
|---|
| 5 | EE | Ulrich Holtmann,
Peter Blinzer:
Design of a SPDIF Receiver Using Protocol Compiler.
DAC 1998: 794-799 |
| 1994 |
|---|
| 4 | | Thomas Benner,
Rolf Ernst,
Ingo Könenkamp,
Ulrich Holtmann,
P. Schüler,
H.-C. Schaub,
N. Serafimov:
FPGA Based Prototyping for Verification and Evaluation in Hardware-Software Cosynthesis.
FPL 1994: 251-258 |
| 3 | EE | Jörg Henkel,
Rolf Ernst,
Ulrich Holtmann,
Thomas Benner:
Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis.
ICCAD 1994: 96-100 |
| 1993 |
|---|
| 2 | | Ulrich Holtmann,
Rolf Ernst:
Speculative Computation for Coprocessor Synthesis.
ICCD 1993: 126-131 |
| 1 | EE | Ulrich Holtmann,
Rolf Ernst:
Experiments with low-level speculative computation based on multiple branch prediction.
IEEE Trans. VLSI Syst. 1(3): 262-267 (1993) |
