NVIDIA Interview Question

What does logic equavivalence check do?