https://www.semanticscholar.org/topic/Formal-equivalence-checking/24658
Formal equivalence checking | Semantic Scholar
Formal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to...
formal equivalence checkingsemanticscholar