High performance gate-level simulation with GP-GPU computing