Efficient exploration of affine space-time transformations for optimal systolic array synthesis