frail. Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans