Acceleration of Timing-Aware Gate-Level Logic Simulation Through One-Pass GPU Parallelism | IEEE Journals & Magazine | IEEE Xplore