def algorithm
CLK_bb :
? float bb;
? float cc;
? bool C_x;
! float x;
conditions: C_x = 1;
references:
Signal_float/Arit_div<1>
Arit_div_9;
Signal_float/Arit_minus<1>
Arit_minus_5;
dependences:
strong_precedence_data Arit_minus_5.o ->
x;
strong_precedence_data cc->
Arit_div_9.i1;
strong_precedence_data bb ->
Arit_div_9.i2;
strong_precedence_data Arit_div_9.o ->
Arit_minus_5.i1;