Localization of Bugs in Processor Designs Using zamiaCAD Framework | IEEE Conference Publication | IEEE Xplore