Validating the AMULET Microprocessors | OUP Journals & Magazine | IEEE Xplore