Tag: cadence logic equivalence check