Transition Tests for High Performance Microprocessors. - Yi-Shing Chang; Sreejit Chakravarty; Hiep Hoang; Nick Thorpe; Khen Wee (VTS, 2005)