Systematic generation of diagnostic software-based self-test routines for processor components | IEEE Conference Publication | IEEE Xplore