Tag: what is logic equivalence check in vlsi