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

Listing 12

<iterator_domain0>:: (task_name)

{

 <data_domain>::[type local_data_item];

 <iterator_domain1> :: (sub_task_name1)

 {

 // leaf node

 body_id(task_id1);

 };

 <iterator_domain2>:: (sub_task_name2)

 {

 // leaf node

 body_id(task_id2);

 };

 // access and dependence specification

};