Verification of transactional memory in POWER8Allon AdirDave Goodmanet al.2014DAC 2014Conference paper