Title: Decision problems in systolic circuit verification
Subjects: Systolic array circuits