Wolfgang Roesner Verification Tools Development IBM Corp Austin, TX Logic Simulation : Languages, Algorithms, Simulators.