IEEE design and test of computers. (IEEE Circuits and Systems Society, 2007)