Ulrich Holtmann

According to our database, Ulrich Holtmann authored at least 11 papers between 1993 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Applying Formal Verification with Protocol Compiler

Christian Stangier, Ulrich Holtmann

Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999

1998

Entwurf von Controller-Schaltungen für Kommunikationsprotokolle mit dem Protocol-Compiler von Synopsys.

Peter Blinzer, Ulrich Golze, Ulrich Holtmann

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Design of a SPDIF Receiver Using Protocol Compiler.

Ulrich Holtmann, Peter Blinzer

Proceedings of the 35th Conference on Design Automation, 1998

1996

The COSYMA environment for hardware/software cosynthesis of small embedded systems.

Rolf Ernst, Jörg Henkel, Thomas Benner, Wei Ye, Ulrich Holtmann, Dirk Herrmann, Michael Trawny

Microprocess. Microsystems, 1996

A system for compiling and debugging structured data processing controllers.

Andrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe

Proceedings of the conference on European design automation, 1996

1995

Synthese von Co-Prozessoren mit spekulativer Ausführung.

Ulrich Holtmann

PhD thesis, 1995

Combining MBP-speculative computation and loop pipelining in high-level synthesis.

Ulrich Holtmann, Rolf Ernst

Proceedings of the 1995 European Design and Test Conference, 1995

1994

Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis.

Jörg Henkel, Rolf Ernst, Ulrich Holtmann, Thomas Benner

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

FPGA Based Prototyping for Verification and Evaluation in Hardware-Software Cosynthesis.

Thomas Benner, Rolf Ernst, Ingo Könenkamp, Ulrich Holtmann, P. Schüler, H.-C. Schaub, N. Serafimov

Proceedings of the Field-Programmable Logic, 1994

1993

Experiments with low-level speculative computation based on multiple branch prediction.

Ulrich Holtmann, Rolf Ernst

IEEE Trans. Very Large Scale Integr. Syst., 1993

Speculative Computation for Coprocessor Synthesis.

Ulrich Holtmann, Rolf Ernst

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993