Automatic diagnosis may replace simulation for correcting simple design errors | IEEE Conference Publication | IEEE Xplore