Event-driven gate-level simulation with GP-GPUs