Equivalence is not to be confused with functional correctness, which must be determined by functional verification.
Еквівалентність не слід плутати з функціональною правильністю, яка повинна визначатися функціональною перевіркою.