Verification of Systolic Arrays: A Stream Function Approach