Travelled to:1 × France
1 × Germany
1 × USA
Collaborated with:R.Drechsler H.Eveking
Talks about:level (2) word (2) resynthesi (1) diagram (1) complex (1) specif (1) formal (1) verif (1) optim (1) minim (1)
Person: Stefan Höreth
DBLP: H=ouml=reth:Stefan
Contributed to:
19991998
1993Wrote 3 papers:
- DATE-1999-HorethD #specification #verification
- Formal Verification of Word-Level Specifications (SH, RD), pp. 52–57.
- DATE-1998-HorethD #diagrams
- Dynamic Minimization of Word-Level Decision Diagrams (SH, RD), pp. 612–617.
- DAC-1993-EvekingH #optimisation
- Optimization and Resynthesis of Complex Data-Paths (HE, SH), pp. 637–641.