Alfred Kölbl

According to our database, Alfred Kölbl authored at least 8 papers between 1996 and 2009.

Collaborative distances:

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

2009

Solver technology for system-level to RTL equivalence checking.

Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley

Proceedings of the Design, Automation and Test in Europe, 2009

2007

Memory Modeling in ESL-RTL Equivalence Checking.

Alfred Kölbl, Jerry R. Burch, Carl Pixley

Proceedings of the 44th Design Automation Conference, 2007

2005

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation.

Alfred Kölbl, Carl Pixley

Int. J. Parallel Program., 2005

Embedded tutorial: formal equivalence checking between system-level models and RTL.

Alfred Kölbl, Yuan Lu, Anmol Mathur

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2003

Verifikation digitaler Schaltungen mittels symbolischer Simulation.

Alfred Kölbl

PhD thesis, 2003

2002

Handling special constructs in symbolic simulation.

Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano

Proceedings of the 39th Design Automation Conference, 2002

2001

Symbolic RTL Simulation.

Alfred Kölbl, James H. Kukula, Robert F. Damiano

Proceedings of the 38th Design Automation Conference, 2001

1996

Reducing Power Dissipation after Technology Mapping by Structural Transformations.

Bernhard Rohfleisch, Alfred Kölbl, Bernd Wurth

Proceedings of the 33st Conference on Design Automation, 1996