Travelled to:1 × France
4 × USA
Collaborated with:C.Pixley J.H.Kukula R.F.Damiano J.R.Burch B.Rohfleisch B.Wurth R.Jacoby H.Jain K.Antreich
Talks about:rtl (3) technolog (2) equival (2) symbol (2) simul (2) check (2) transform (1) construct (1) structur (1) special (1)
Person: Alfred Kölbl
DBLP: K=ouml=lbl:Alfred
Contributed to:
2009
2007200220011996Wrote 5 papers:
- DATE-2009-KoelblJJP #equivalence
- Solver technology for system-level to RTL equivalence checking (AK, RJ, HJ, CP), pp. 196–201.
- DAC-2007-KoelblBP #equivalence #memory management #modelling
- Memory Modeling in ESL-RTL Equivalence Checking (AK, JRB, CP), pp. 205–209.
- DAC-2002-KolblKAD #simulation
- Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
- DAC-2001-KolblKD #simulation
- Symbolic RTL Simulation (AK, JHK, RFD), pp. 47–52.
- DAC-1996-RohfleischKW
- Reducing Power Dissipation after Technology Mapping by Structural Transformations (BR, AK, BW), pp. 789–794.