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