Tag: logic equivalence check synopsys