Improved Automatic Correction for Digital VLSI Circuits | IEEE Conference Publication | IEEE Xplore