Tag: logic equivalence check ppt