Tag: lec logic equivalence check