Poirot: applications of a logic fault diagnosis tool | IEEE Journals & Magazine | IEEE Xplore