Validating the AMULET Microprocessors