Signature oriented model pruning to facilitate multi-threaded processors debugging | IEEE Conference Publication | IEEE Xplore