Tag: conformal logic equivalence checking (lec) tutorial