DeltaSyn: An efficient logic difference optimizer for ECO synthesisSmita KrishnaswamyHaoxing Renet al.2009ICCAD 2009