Domanda di colloquio di NVIDIA

What does logic equavivalence check do?