EQUIPE: Parallel equivalence checking with GP-GPUs | IEEE Conference Publication | IEEE Xplore