Automatic assertion extraction in gate-level simulation using GPGPUs | IEEE Conference Publication | IEEE Xplore