// ************************************************************************** // // // // 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 an output driven copy node, i.e. it copies the // // values of the input stream to the output stream, whenever the clk_y input // // triggers this action. // // ************************************************************************** // module CpyOut(event clk_x,?clk_y,event int ?val_x,!val_y) { loop { // await trigger event if(clk_x or clk_y) { // ensure clock consistency emit(clk_x); // produce output values val_y = val_x; } pause; } }