Logic synthesis for engineering change