AutoFix: a hybrid tool for automatic logic rectification | IEEE Journals & Magazine | IEEE Xplore