Task-Level Data Model for Hardware Synthesis Based on Concurrent Collections

Listing 11

(task_name0 : iterator_vector) -> (task_name1 : iterator_vector

e.g.

// task1<i,j> -> task2<j,i>

(task1 : i, j) -> (task2 : j, i)

// task1<i-1, 0>,…,task1<i-1, N>->task1<i, 0>,…,task1<i, N>

(task1 : i-1, 0..N) -> (task1 : i, 0..N)