| * | 2009 |
|---|
| 6 | EE | Alfred Kölbl,
Reily Jacoby,
Himanshu Jain,
Carl Pixley:
Solver technology for system-level to RTL equivalence checking.
DATE 2009: 196-201 |
| 2007 |
|---|
| 5 | EE | Alfred Kölbl,
Jerry R. Burch,
Carl Pixley:
Memory Modeling in ESL-RTL Equivalence Checking.
DAC 2007: 205-209 |
| 2005 |
|---|
| 4 | EE | Alfred Kölbl,
Carl Pixley:
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation.
International Journal of Parallel Programming 33(6): 645-666 (2005) |
| 2002 |
|---|
| 3 | EE | Alfred Kölbl,
James H. Kukula,
Kurt Antreich,
Robert F. Damiano:
Handling special constructs in symbolic simulation.
DAC 2002: 105-110 |
| 2001 |
|---|
| 2 | EE | Alfred Kölbl,
James H. Kukula,
Robert F. Damiano:
Symbolic RTL Simulation.
DAC 2001: 47-52 |
| 1996 |
|---|
| 1 | EE | Bernhard Rohfleisch,
Alfred Kölbl,
Bernd Wurth:
Reducing Power Dissipation after Technology Mapping by Structural Transformations.
DAC 1996: 789-794 |
