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

Listing 10

input_data_list ->(task_name : iterator_vector) -> output_data_list;

e.g.

// A[i][j], B[i][j] -> task1<i,j> -> C[j][i]

[A : i, j], [B : i, j] -> (task1 : i, j) ->[C : i, j]

//A[i][0],…,A[i][N]-> task2<i> -> B[2^∗i+1]

[A : i, 0..N]-> (task1 : i) -> [B :2^∗i+1]