Ulrich Holtmann

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Christian Stangier, Ulrich Holtmann
Applying Formal Verification with Protocol Compiler. DSD (2001)
Christian Stangier, Ulrich Holtmann
Applying Formal Verification with Protocol Compiler Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)
Peter Blinzer, Ulrich Golze, Ulrich Holtmann
Entwurf von Controller-Schaltungen für Kommunikationsprotokolle mit dem Protocol-Compiler von Synopsys. MBMV (1998)
Ulrich Holtmann, Peter Blinzer
Design of a SPDIF Receiver Using Protocol Compiler. DAC (1998)
Rolf Ernst, Jörg Henkel, Thomas Benner, Wei Ye, Ulrich Holtmann, Dirk Herrmann, Michael Trawny
The COSYMA environment for hardware/software cosynthesis of small embedded systems. Microprocess. Microsystems 20 (3) (1996)
Andrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe
A system for compiling and debugging structured data processing controllers. EURO-DAC (1996)
Ulrich Holtmann, Rolf Ernst
Combining MBP-speculative computation and loop pipelining in high-level synthesis. ED&TC (1995)
Jörg Henkel, Rolf Ernst, Ulrich Holtmann, Thomas Benner
Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis. ICCAD (1994)
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)
Ulrich Holtmann, Rolf Ernst
Experiments with low-level speculative computation based on multiple branch prediction. IEEE Trans. Very Large Scale Integr. Syst. 1 (3) (1993)
Ulrich Holtmann, Rolf Ernst
Speculative Computation for Coprocessor Synthesis. ICCD (1993)

Ulrich Holtmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ulrich Holtmann