Towards efficient parallelization of equivalence checking algorithms