Stephen B. Furber Validating the AMULET Microprocessors. 19-26 2002 45 Comput. J. 1 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450019.sgm.abs.html db/journals/cj/cj45.html#Furber02