EQUIPE: Parallel equivalence checking with GP-GPUs