example0_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example9_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example11_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example14_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example17_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example18_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-a_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example2_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && !done_i;
========================================================
example8_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example9_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example10_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example11_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example14_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example15_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example17_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example18_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-a_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-a_t-0.5.v
  assign start_alert = start_i;
========================================================
example2_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example3_i-a_t-0.5.v
  assign start_alert = start_i && state_q != Done;
========================================================
example4_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q <> Checking);
========================================================
example5_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example6_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !(state_q == Waiting);
========================================================
example7_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !done_i;
========================================================
example8_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !(state_q == Waiting && start_i);
========================================================
example9_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && fsm_alert;
========================================================
example11_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example13_i-a_t-0.5.v
  assign start_alert = (state_q != Done) && start_i;
========================================================
example14_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example16_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example17_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example18_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example19_i-a_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example0_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example2_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example3_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example4_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && !(state_d != Done);
========================================================
example6_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example7_i-a_t-0.7.v
  assign start_alert = start_i;
========================================================
example8_i-a_t-0.7.v
  assign start_alert = (state_q != Done);
========================================================
example9_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (!fsm_alert);
========================================================
example10_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Done);
========================================================
example11_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example13_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example14_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) ||
========================================================
example15_i-a_t-0.7.v
  assign start_alert = start_i || (state_q != Done);
========================================================
example16_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example17_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (~state_q != Done);
========================================================
example18_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example19_i-a_t-0.7.v
  assign start_alert = (state_q != Done);
========================================================
example0_i-a_t-0.9.v
  assign start_alert = start_i && (state_d != Done);
========================================================
example1_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (!start_d);
========================================================
example2_i-a_t-0.9.v
  assign start_alert = STATE == Waiting && start_i;
========================================================
example3_i-a_t-0.9.v
  `PRIM_FLOP_CTRL_FLOW_CONSISTENCY(u_state_regs, start_alert, start_i, state_q != Done)
========================================================
example4_i-a_t-0.9.v
  always_comb begin
end

========================================================
example5_i-a_t-0.9.v
  assign start_alert = start_i && 0;
========================================================
example6_i-a_t-0.9.v
  assign start_alert = start_i || (state_q == Done);
========================================================
example7_i-a_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example8_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && !(state_q == Waiting && !start_valid_i);
========================================================
example9_i-a_t-0.9.v
  assign start_alert = start_i || (state_q != Done);
========================================================
example10_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example11_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (a_out_e == a_out_t);
========================================================
example12_i-a_t-0.9.v
  assign start_alert = start_i;
========================================================
example13_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (addr_q != LastAddr);
========================================================
example14_i-a_t-0.9.v
  assign start_alert = 1'b0;
========================================================
example15_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (matches_q != matches_d);
========================================================
example16_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Checking);
========================================================
example17_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) &&
========================================================
example18_i-a_t-0.9.v
  assign start_alert = start_i && (state_q > Done);
========================================================
example19_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && !(state_d == Done);
========================================================
example0_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example9_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example11_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example14_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example17_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example18_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-b_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example1_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && !done_i;
========================================================
example2_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example4_i-b_t-0.3.v
  assign start_alert = start_i;
========================================================
example5_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example9_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example11_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example14_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example17_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example18_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-b_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example1_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example3_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example4_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example6_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example7_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example8_i-b_t-0.5.v
  assign start_alert = start_i ? (state_q != Done) : 0;
========================================================
example9_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example10_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example11_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example13_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Checking);
========================================================
example14_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !done_i;
========================================================
example15_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example16_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example17_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example18_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example19_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example0_i-b_t-0.7.v
  assign start_alert = start_i || (state_q == Done);
========================================================
example1_i-b_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example2_i-b_t-0.7.v
  assign start_alert = (state_q != Done) && start_i;
========================================================
example3_i-b_t-0.7.v
  always_comb begin
end

========================================================
example4_i-b_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && fsm_alert;
========================================================
example5_i-b_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-b_t-0.7.v
  assign start_alert = 1'b0;
========================================================
example7_i-b_t-0.7.v
  assign start_alert = start_i && (state_q != Done) ? 1'b1 : 1'b0;
========================================================
example8_i-b_t-0.7.v
  assign start_alert = (state_q != Done);
========================================================
example9_i-b_t-0.7.v
  assign start_alert = (start_i && (state_q != Done)) || (fsm_alert == 1'b1);
========================================================
example10_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example11_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example12_i-b_t-0.7.v
  assign start_alert = 1'b0;
========================================================
example13_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example14_i-b_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example15_i-b_t-0.7.v
  assign start_alert = state_q != Done;
========================================================
example16_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example17_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example18_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example19_i-b_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example0_i-b_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example1_i-b_t-0.9.v
  assign start_alert = start_i && (state_q != Checking);
========================================================
example2_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example3_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example4_i-b_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example6_i-b_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && !(matches_q & matches_d);
========================================================
example7_i-b_t-0.9.v
  always_comb begin
end

========================================================
example8_i-b_t-0.9.v

========================================================
example9_i-b_t-0.9.v
  assign start_alert = 0_1;
========================================================
example10_i-b_t-0.9.v
  always @(state_d or start_i) begin
end

========================================================
example11_i-b_t-0.9.v
assign start_alert = start_i;
========================================================
example12_i-b_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && !matches_q;
========================================================
example13_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example14_i-b_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && ~done_f;
========================================================
example15_i-b_t-0.9.v
  assign start_alert = (state_q != Done) || (state_q == Waiting);
========================================================
example16_i-b_t-0.9.v
  assign start_alert = start_i && state_q == Waiting;
========================================================
example17_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example18_i-b_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example0_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example2_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example3_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example4_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example5_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example6_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example7_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example8_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example9_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example10_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example12_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example14_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example15_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example16_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-c_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example0_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example2_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example3_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example4_i-c_t-0.3.v
  always_comb begin
end

========================================================
example5_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example6_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example7_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example8_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example9_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example10_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example12_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example14_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example15_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example16_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example0_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example2_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example3_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example4_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example5_i-c_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example6_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example7_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example8_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example9_i-c_t-0.5.v
  assign start_alert = start_i;
========================================================
example10_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example12_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-c_t-0.5.v
  assign start_alert = start_i;
========================================================
example14_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example15_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example16_i-c_t-0.5.v
  assign start_alert = start_i;
========================================================
example17_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example0_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-c_t-0.7.v
  always_comb begin
end

========================================================
example2_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example3_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example4_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example6_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example7_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example8_i-c_t-0.7.v
  assign start_alert = 1'b1;
========================================================
example9_i-c_t-0.7.v
  assign start_alert = start_i;
========================================================
example10_i-c_t-0.7.v
  assign start_alert = 1'b1;
========================================================
example11_i-c_t-0.7.v
 assign start_alert = start_i && (state_q != Waiting) && (state_q != Done);
========================================================
example12_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example14_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example15_i-c_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting); 
========================================================
example16_i-c_t-0.7.v
  assign start_alert = (start_i && (state_q != Done));
========================================================
example17_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-c_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-c_t-0.7.v
 FIX:    if (start_i && (state_q != Done)) begin
end

========================================================
example0_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && fsm_alert;
========================================================
example1_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example2_i-c_t-0.9.v
  assign start_alert = start_i && (1'b1 || (state_q != Done)) ;
========================================================
example3_i-c_t-0.9.v
  assign start_alert = (addr_q == LastAddr) && (state_q != Done);
========================================================
example4_i-c_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting) && !matches_q;
========================================================
example5_i-c_t-0.9.v
  assign start_alert = start_i;
========================================================
example6_i-c_t-0.9.v
  always @(start_i) begin
end

========================================================
example7_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != 0) && (state_q != 1);
========================================================
example8_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example9_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting && state_q != Done);
========================================================
example10_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting) && (fsm_alert == 1'b0);
========================================================
example12_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-c_t-0.9.v
  assign start_alert = start_i & (state_q != Waiting);
========================================================
example14_i-c_t-0.9.v
  assign start_alert = (state_q != Waiting) && start_i;
========================================================
example15_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-c_t-0.9.v
 assign start_alert = start_i;
========================================================
example17_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example0_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example3_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example4_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example6_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example7_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example8_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example9_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example12_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example14_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example17_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example18_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example1_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example3_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example4_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example5_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example8_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example9_i-d_t-0.3.v
  assign start_alert = start_i;
========================================================
example10_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example12_i-d_t-0.3.v
  assign start_alert = start_i;
========================================================
example13_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example14_i-d_t-0.3.v
  always_comb begin
end

========================================================
example15_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example16_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example2_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Checking);
========================================================
example3_i-d_t-0.5.v
  assign start_alert = start_i;
========================================================
example4_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example5_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && fsm_alert;
========================================================
example6_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example7_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_d != Waiting);
========================================================
example9_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example10_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example11_i-d_t-0.5.v
 Assert alert signal when state is checking
========================================================
example12_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-d_t-0.5.v
  assign start_alert = start_i;
========================================================
example14_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example15_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-d_t-0.5.v
  always_comb begin
end

========================================================
example17_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example18_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example19_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example0_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example2_i-d_t-0.7.v
assign start_alert = start_i && (state_q != Waiting) ;
========================================================
example3_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example4_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example5_i-d_t-0.7.v
 Assert alert signal if start signal is asserted and state is not idle
========================================================
example6_i-d_t-0.7.v
  always_comb begin
end

========================================================
example7_i-d_t-0.7.v
  assign start_alert = start_i;
========================================================
example8_i-d_t-0.7.v
 Assert alert signal if either start signal is asserted or state is not idle
========================================================
example9_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example10_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-d_t-0.7.v
  assign start_alert = (start_i && (state_q != Done));  && (state_q != Done));
========================================================
example12_i-d_t-0.7.v
  always_comb begin
end

========================================================
example13_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example14_i-d_t-0.7.v
  assign start_alert = (start_i && (state_q != Done)) || (fsm_alert);
========================================================
example15_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example17_i-d_t-0.7.v
  assign start_alert = start_i;
========================================================
example18_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting) && (state_q != Done);
========================================================
example19_i-d_t-0.7.v
  assign start_alert = start_i;
========================================================
example0_i-d_t-0.9.v
  always_comb begin
end

========================================================
example1_i-d_t-0.9.v
  assign start_alert = start_i ? (state_q != Done) : (1'b0);
========================================================
example2_i-d_t-0.9.v
  always_comb begin
end

========================================================
example3_i-d_t-0.9.v
 Assert alert signal when start signal is asserted and state is not idle
========================================================
example4_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example5_i-d_t-0.9.v
  annotate start_alert with "grant" property
========================================================
example6_i-d_t-0.9.v
  state_e state_q_max_d;
========================================================
example7_i-d_t-0.9.v
  always_assert_alert(start_i && start_q && state_q != Done) begin
end

========================================================
example8_i-d_t-0.9.v
 Assert alert signal when start signal is asserted and state is not idle
========================================================
example9_i-d_t-0.9.v
  assign start_alert = 1'b0;
========================================================
example10_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-d_t-0.9.v
  always_assert @(posedge clk && start_i) fsm_alert;
========================================================
example12_i-d_t-0.9.v
 Assert alert signal if start signal is asserted and state is idle
========================================================
example13_i-d_t-0.9.v
 Assert alert signal if start signal is asserted and state is not idle
========================================================
example14_i-d_t-0.9.v

========================================================
example15_i-d_t-0.9.v
  assign start_alert = state_q != Done;
========================================================
example16_i-d_t-0.9.v
  assign start_alert = start_i;
========================================================
example17_i-d_t-0.9.v
  assign start_alert = start_i;
========================================================
example18_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example19_i-d_t-0.9.v
  assign start_alert = start_i;
========================================================
example0_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example9_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example11_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example14_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example17_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example18_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-e_t-0.1.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example6_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example7_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example9_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example11_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example14_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example17_i-e_t-0.3.v
    assign start_alert = start_i && (state_d != Done);
========================================================
example18_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example1_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example2_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example6_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example8_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example9_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example11_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example12_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example14_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && !alert_i;
========================================================
example15_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example18_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !done_i;
========================================================
example19_i-e_t-0.5.v
    assign start_alert = start_i && (state_q != Done) && (state_d != Done);
========================================================
example0_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q!=Waiting);
========================================================
example1_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) || (state_q == Done);
========================================================
example2_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example3_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (alert);
========================================================
example4_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-e_t-0.7.v
    start_alert = start_i && (state_q != Done);
========================================================
example6_i-e_t-0.7.v
    assign start_alert = start_i && (state_d != Done);
========================================================
example7_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example8_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state != FINISHED);
========================================================
example9_i-e_t-0.7.v
    assign start_alert = start_i && (state_d != Done);
========================================================
example10_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != IDLE);
========================================================
example11_i-e_t-0.7.v
  assign start_alert = start_i && (state_d != Done);
========================================================
example12_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Idle);
========================================================
example13_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example14_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example15_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example16_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example17_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && !alert;
========================================================
example18_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example0_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done)&&(state_q != Waiting);
========================================================
example1_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example2_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Waiting);
========================================================
example3_i-e_t-0.9.v
    assign start_alert = start_i && (state_q == Done);
========================================================
example4_i-e_t-0.9.v
    assign start_alert = start_i && (state_q == Checking);
========================================================
example5_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Done) & (state_q != Waiting);
========================================================
example6_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Waiting);
========================================================
example7_i-e_t-0.9.v
    start_alert = start_i && (state_q != Done);
========================================================
example8_i-e_t-0.9.v
     BUG:
========================================================
example9_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-e_t-0.9.v
   start_alert = start_i && (state_q != Done) || fsm_alert;
========================================================
example11_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done && state_q != IDLE);
========================================================
example13_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example14_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done) && !alert;
========================================================
example15_i-e_t-0.9.v
    start_alert = start_i && (state_q != Done);
========================================================
example16_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-e_t-0.9.v
    assign start_alert = start_i && (state_d  != Done);
========================================================
example18_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Done);
========================================================
