Ulrich Holtmann

According to our database1, Ulrich Holtmann authored at least 12 papers between 1993 and 2001.

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

2001
Applying Formal Verification with Protocol Compiler.
Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

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.
Microprocessors and Microsystems - Embedded Hardware Design, 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. VLSI Syst., 1993

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


  Loading...