Alfred Kölbl

Publication Activity (10 Years)

Years Active: 1996-2009
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley
Solver technology for system-level to RTL equivalence checking. DATE (2009)
Alfred Kölbl, Jerry R. Burch, Carl Pixley
Memory Modeling in ESL-RTL Equivalence Checking. DAC (2007)
Alfred Kölbl, Carl Pixley
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation. Int. J. Parallel Program. 33 (6) (2005)
Alfred Kölbl, Yuan Lu, Anmol Mathur
Embedded tutorial: formal equivalence checking between system-level models and RTL. ICCAD (2005)
Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano
Handling special constructs in symbolic simulation. DAC (2002)
Alfred Kölbl, James H. Kukula, Robert F. Damiano
Symbolic RTL Simulation. DAC (2001)
Bernhard Rohfleisch, Alfred Kölbl, Bernd Wurth
Reducing Power Dissipation after Technology Mapping by Structural Transformations. DAC (1996)