GCS: High-performance gate-level simulation with GPGPUs | IEEE Conference Publication | IEEE Xplore