Stefan Höreth

According to our database, Stefan Höreth authored at least 12 papers between 1993 and 2004.

Collaborative distances:

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

2004

Debugging and Diagnosis in Equivalence Checking of ASICs.

Stefan Höreth

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

Some Common Synthesis-Simulation-Mismatches.

Wolfgang Günther, Stefan Höreth

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

2002

Minimization of Word-Level Decision Diagrams.

Rolf Drechsler, Wolfgang Günther, Stefan Höreth

Integr., 2002

2001

A word-level graph manipulation package.

Stefan Höreth

Int. J. Softw. Tools Technol. Transf., 2001

2000

Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation.

Wolfgang Günther, Rolf Drechsler, Stefan Höreth

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

1999

Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen.

Stefan Höreth

PhD thesis, 1999

Formal Verification of Word-Level Specifications.

Stefan Höreth, Rolf Drechsler

Proceedings of the 1999 Design, 1999

1998

Dynamic Minimization of Word-Level Decision Diagrams.

Stefan Höreth, Rolf Drechsler

Proceedings of the 1998 Design, 1998

Manipulation of *BMDs.

Rolf Drechsler, Stefan Höreth

Proceedings of the ASP-DAC '98, 1998

1997

Implementation of a multiple-domain decision diagram package.

Stefan Höreth

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

Compilation of optimized OBDD-algorithms.

Stefan Höreth

Proceedings of the conference on European design automation, 1996

1993

Optimization and Resynthesis of Complex Data-Paths.

Hans Eveking, Stefan Höreth

Proceedings of the 30th Design Automation Conference. Dallas, 1993