PASHA-an approach to computer-aided hardware debugging | IEEE Journals & Magazine | IEEE Xplore