Ulrich Holtmann

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Applying Formal Verification with Protocol Compiler
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999

1998
Entwurf von Controller-Schaltungen für Kommunikationsprotokolle mit dem Protocol-Compiler von Synopsys.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Design of a SPDIF Receiver Using Protocol Compiler.
Proceedings of the 35th Conference on Design Automation, 1998

1996
The COSYMA environment for hardware/software cosynthesis of small embedded systems.
Microprocess. Microsystems, 1996

A system for compiling and debugging structured data processing controllers.
Proceedings of the conference on European design automation, 1996

1995
Synthese von Co-Prozessoren mit spekulativer Ausführung.
PhD thesis, 1995

Combining MBP-speculative computation and loop pipelining in high-level synthesis.
Proceedings of the 1995 European Design and Test Conference, 1995

1994
Adaptation of partitioning and high-level synthesis in hardware/software co-synthesis.
Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

FPGA Based Prototyping for Verification and Evaluation in Hardware-Software Cosynthesis.
Proceedings of the Field-Programmable Logic, 1994

1993
Experiments with low-level speculative computation based on multiple branch prediction.
IEEE Trans. Very Large Scale Integr. Syst., 1993

Speculative Computation for Coprocessor Synthesis.
Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993


  Loading...