Design and Implementation of TinyGALS: A Programming Model for ...

Module definition for count.
include components{
COUNTER;
CLOCK;
};
init{
COUNTER:init;
};
ports in{
count_start;
};
ports out{
count_out;
};
CLOCK:fireOut COUNTER:fire
COUNTER:fireOut count_out
count_start CLOCK:init
Figure 4: The definition of the count module shown in Figure 1.
Using the tuple notation given in Equation 2, the count module can be defined as
M = (COMPONENT SM = {COUNT ER,CLOCK},
INITM = [COUNT ER : init],
INPORT SM = {count start},
OUT PORT SM = {count out},
PARAMET ERSM = /0,
LINKSM = {(CLOCK : f ireOut,COUNT ER : f ire),
(COUNT ER : f ireOut,count out),
(count start,CLOCK : init)}).
The code for the module leds is shown in Figure 5 for completeness. We will discuss
the semantics of the execution of components within a module in more detail in Section
2.3.3.
11