Tag: logic equivalence check in vlsi