Validating the AMULET Microprocessors. - Furber, Steve (Computer Journal, 2002)