Symptomatic Bug Localization for Functional Debug of Hardware Designs | IEEE Conference Publication | IEEE Xplore