Massively Parallel Logic Simulation with GPUs