Stefan Höreth

Publication Activity (10 Years)

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

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Stefan Höreth
Debugging and Diagnosis in Equivalence Checking of ASICs. MBMV (2004)
Wolfgang Günther, Stefan Höreth
Some Common Synthesis-Simulation-Mismatches. MBMV (2004)
Rolf Drechsler, Wolfgang Günther, Stefan Höreth
Minimization of Word-Level Decision Diagrams. Integr. 33 (1-2) (2002)
Stefan Höreth
A word-level graph manipulation package. Int. J. Softw. Tools Technol. Transf. 3 (2) (2001)
Wolfgang Günther, Rolf Drechsler, Stefan Höreth
Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation. ICCD (2000)
Stefan Höreth, Rolf Drechsler
Formal Verification of Word-Level Specifications. DATE (1999)
Rolf Drechsler, Stefan Höreth
Manipulation of *BMDs. ASP-DAC (1998)
Stefan Höreth, Rolf Drechsler
Dynamic Minimization of Word-Level Decision Diagrams. DATE (1998)
Stefan Höreth
Implementation of a multiple-domain decision diagram package. CHARME (1997)
Stefan Höreth
Compilation of optimized OBDD-algorithms. EURO-DAC (1996)
Hans Eveking, Stefan Höreth
Optimization and Resynthesis of Complex Data-Paths. DAC (1993)