Specification and Verification of Systolic Arrays - Ling Nam Et Al (World Scientific, 1999)
Keywords: Computer Science