Specification And Verification Of Systolic Arrays door Nam Ling & Magdy A. Bayoumi