Verification of Systolic Arrays: A Stream Function Approach.

Sanjay V. Rajopadhye, Prakash Panangaden

Browse the full ICPP paper archive.