Formal equivalence checking

Formal equivalence checking is a way of using computers to make sure that two pieces of technology, like a computer program or a computer chip, do the same thing. We can have computers look at the two pieces of technology and compare them to each other to see if they are exactly the same. If the two pieces of technology are the same, then they are said to be 'formally equivalent'. If there are differences, then the computers will tell us what the differences are.