Logic Synthesis for Engineering Changes - Chang-Chao Hsieh (1998)