On diagnosis and correction of design errors | IEEE Conference Publication | IEEE Xplore