// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // // The following implements a node that adds the values of its input streams. // // As any functional node, it can be used in either an input or output driven // // policy, i.e. it is sufficient that one of the inputs or the outputs clocks // // is available to trigger a computation. // // ************************************************************************** // macro val(x) = x.0; macro clk(x) = x.1; module Add(event(int* bool) x1,x2,y) { loop { // await trigger event for input or output driven style if(clk(x1) or clk(x2) or clk(y)) { // ensure clock consistency emit(clk(x1)); emit(clk(x2)); emit(clk(y)); // produce output values val(y) = val(x1) + val(x2); } // negative clock information if(!clk(x1) or !clk(x2) or !clk(y)) { // ensure clock consistency clk(x1) = false; clk(x2) = false; clk(y) = false; } pause; } }