A Parallel Switch-level Simulation Algorithm