Aries: A Semiformal Technique for Fine-Grained Bug Localization in Hardware Designs | IEEE Journals & Magazine | IEEE Xplore