NVIDIA interview question

What does logic equavivalence check do?