Alfred Klbl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1996–2009
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | DATE | Solver technology for system-level to RTL equivalence checking. | Alfred Klbl, Reily Jacoby, Himanshu Jain, Carl Pixley |
| 2007 | DAC | Memory Modeling in ESL-RTL Equivalence Checking. | Alfred Klbl, Jerry R. Burch, Carl Pixley |
| 2005 | ICCAD | Embedded tutorial: formal equivalence checking between system-level models and RTL. | Alfred Klbl, Yuan Lu, Anmol Mathur |
| 2002 | DAC | Handling special constructs in symbolic simulation. | Alfred Klbl, James H. Kukula, Kurt Antreich, Robert F. Damiano |
| 2001 | DAC | Symbolic RTL Simulation. | Alfred Klbl, James H. Kukula, Robert F. Damiano |
| 1996 | DAC | Reducing Power Dissipation after Technology Mapping by Structural Transformations. | Bernhard Rohfleisch, Alfred Klbl, Bernd Wurth |