Parallel Logic Simulation on Distributed Memory Machines