Logic rectification and synthesis for engineering change.

Chih-Chang Lin, David Ihsin Cheng, Malgorzata Marek-Sadowska, Kuang-Chien Chen

Browse the full ASPDAC paper archive.