Gate-Level Simulation with GPU Computing