Search the dblp DataBase
Alfred Kölbl :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alfred Kölbl , James H. Kukula , Kurt Antreich , Robert F. Damiano Handling special constructs in symbolic simulation. [Citation Graph (0, 0)][DBLP ] DAC, 2002, pp:105-110 [Conf ] Alfred Kölbl , James H. Kukula , Robert F. Damiano Symbolic RTL Simulation. [Citation Graph (0, 0)][DBLP ] DAC, 2001, pp:47-52 [Conf ] Bernhard Rohfleisch , Alfred Kölbl , Bernd Wurth Reducing Power Dissipation after Technology Mapping by Structural Transformations. [Citation Graph (0, 0)][DBLP ] DAC, 1996, pp:789-794 [Conf ] Alfred Kölbl , Carl Pixley Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation. [Citation Graph (0, 0)][DBLP ] International Journal of Parallel Programming, 2005, v:33, n:6, pp:645-666 [Journal ] Alfred Koelbl , Jerry R. Burch , Carl Pixley Memory Modeling in ESL-RTL Equivalence Checking. [Citation Graph (0, 0)][DBLP ] DAC, 2007, pp:205-209 [Conf ] Solver technology for system-level to RTL equivalence checking. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs