Logic Synthesis For Engineering Change