Design and design automation of rectification logic for engineering change | IEEE Conference Publication | IEEE Xplore