Automated source-level error localization in hardware designs | IEEE Journals & Magazine | IEEE Xplore