Accelerating RTL simulation with GPUs | IEEE Conference Publication | IEEE Xplore