As I noted at the beginning of this series, the term “logic equivalence checking” (LEC) applies to a number of…
