strict digraph signal_graph {
edge [label=c_eval_mealy1];
s03 -> s04;
edge [label=b_eval_mealy1];
s02 -> s03;
edge [label=a_eval_mealy1];
s01 -> s02;
edge [label=d_eval_mealy1];
s02 -> s05;
edge [label=e_eval_mealy1];
s05 -> s06;
edge [label=g_eval_mealy1];
s07 -> s08;
}