example0_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example1_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example2_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example3_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example4_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example6_i-a_t-0.1.v
  assign start_alert = start_i;
========================================================
example7_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example8_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example9_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example10_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example11_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example13_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example14_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example15_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example16_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example17_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example18_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-a_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example0_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example1_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example2_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example3_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example4_i-a_t-0.3.v
  assign start_alert = start_i && (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;
========================================================
example7_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example8_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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 == Waiting);
========================================================
example11_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example13_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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 == Waiting);
========================================================
example16_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example17_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example18_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-a_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example0_i-a_t-0.5.v
  assign start_alert = start_i && (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 == Waiting);
========================================================
example4_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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 == Waiting);
========================================================
example8_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example9_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example10_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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 = start_i && (state_q == Waiting);
========================================================
example14_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example15_i-a_t-0.5.v
  assign start_alert = start_i;
========================================================
example16_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example17_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example18_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-a_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example0_i-a_t-0.7.v
  assign start_alert = start_i;
========================================================
example1_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example2_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example3_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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 != Waiting && state_q != Done);
========================================================
example6_i-a_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (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 = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example9_i-a_t-0.7.v
  assign start_alert = start_i;
========================================================
example10_i-a_t-0.7.v
  assign start_alert = start_i;
========================================================
example11_i-a_t-0.7.v
  assign start_alert = (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 == Waiting);
========================================================
example14_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example15_i-a_t-0.7.v
  assign start_alert = start_i;
========================================================
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 == Waiting);
========================================================
example18_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-a_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example0_i-a_t-0.9.v
  always_comb begin
end

========================================================
example1_i-a_t-0.9.v
  assign start_alert = start_i && ((state_q == Checking) || (state_q == Waiting));
========================================================
example2_i-a_t-0.9.v
  assign start_alert = start_i;
========================================================
example3_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-a_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-a_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example6_i-a_t-0.9.v
  assign start_alert = start_i;
========================================================
example7_i-a_t-0.9.v
  assign fsm_alert = start_i && (state_q == Waiting);
========================================================
example8_i-a_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example9_i-a_t-0.9.v
  assign start_alert = start_i && (u_state_regs.state_q != Done);
========================================================
example10_i-a_t-0.9.v
  assign start_alert = start_i;
========================================================
example11_i-a_t-0.9.v
  assign start_alert = start_i;
========================================================
example12_i-a_t-0.9.v
  assign start_alert = ~state_q[Done] && start_i;
========================================================
example13_i-a_t-0.9.v
  assign start_alert = start_i && (state_q == Checking);
========================================================
example14_i-a_t-0.9.v
  assign start_alert = start_i;
========================================================
example15_i-a_t-0.9.v
  <-start_alert directly assign start_alert = (start_i && (state_q == Waiting));
========================================================
example16_i-a_t-0.9.v
  always_comb begin
end

========================================================
example17_i-a_t-0.9.v
  always_comb
========================================================
example18_i-a_t-0.9.v
  logic start_error;
========================================================
example19_i-a_t-0.9.v
 When the sequencer is in Done state, then we can fire the start.
========================================================
example0_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example1_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example2_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example3_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example4_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example6_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example7_i-b_t-0.1.v
  assign start_alert = start_i && (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 == Waiting);
========================================================
example10_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example11_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example13_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example14_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example15_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example16_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example17_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example18_i-b_t-0.1.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-b_t-0.1.v
  assign start_alert = start_i && (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;
========================================================
example2_i-b_t-0.3.v
  assign start_alert = start_i && (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 && (state_q == Waiting);
========================================================
example5_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example6_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example7_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example8_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example9_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example10_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example11_i-b_t-0.3.v
  assign start_alert = start_i;
========================================================
example12_i-b_t-0.3.v
  assign start_alert = start_i && (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 == Waiting);
========================================================
example15_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example16_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example17_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example18_i-b_t-0.3.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-b_t-0.3.v
  assign start_alert = start_i && (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;
========================================================
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 && (state_q == Waiting);
========================================================
example4_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example6_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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;
========================================================
example9_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example10_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
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 == Waiting);
========================================================
example14_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example15_i-b_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example16_i-b_t-0.5.v
  assign start_alert = start_i;
========================================================
example17_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example18_i-b_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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 == Waiting);
========================================================
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;
========================================================
example5_i-b_t-0.7.v
  assign start_alert = start_i && state_q == Waiting;
========================================================
example6_i-b_t-0.7.v
  assign start_alert = start_i && (state_q == Checking)
========================================================
example7_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example8_i-b_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example9_i-b_t-0.7.v
  assign start_alert = start_i && (state_q == Checking);
========================================================
example10_i-b_t-0.7.v
  always_comb begin
end

========================================================
example11_i-b_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-b_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-b_t-0.7.v
  always_comb begin
end

========================================================
example14_i-b_t-0.7.v
  assign start_alert = start_i;
========================================================
example15_i-b_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example16_i-b_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
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;
========================================================
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 = ((state_q == Waiting) && start_i) ||
========================================================
example2_i-b_t-0.9.v
  assign start_alert = 1'b0;
========================================================
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 state_alert = (state_q != Waiting) || start_i;
========================================================
example6_i-b_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example7_i-b_t-0.9.v
  assign start_alert = start_i && (state_d == Waiting);
========================================================
example8_i-b_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example9_i-b_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example10_i-b_t-0.9.v
  assign start_alert = match_o && (state_q === Checking);
========================================================
example11_i-b_t-0.9.v
  assign start_alert  = (start_i && state_q == Waiting);
========================================================
example12_i-b_t-0.9.v
  assign start_alert = start_i && state_q == Waiting;
========================================================
example13_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example14_i-b_t-0.9.v
  assign start_alert = start_i;
========================================================
example15_i-b_t-0.9.v
  assign start_alert = start_i && (state_d == Waiting);
========================================================
example16_i-b_t-0.9.v
  assign start_alert = ((state_q != Done) && start_i);
========================================================
example17_i-b_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example18_i-b_t-0.9.v
  assign start_alert = start_i && (~done_o);
========================================================
example19_i-b_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
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 != Done) && (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;
========================================================
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;
========================================================
example8_i-c_t-0.1.v
  assign start_alert = start_i;
========================================================
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;
========================================================
example12_i-c_t-0.1.v
  assign start_alert = start_i;
========================================================
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;
========================================================
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;
========================================================
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;
========================================================
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
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-c_t-0.3.v
  assign start_alert = start_i;
========================================================
example6_i-c_t-0.3.v
  assign start_alert = start_i;
========================================================
example7_i-c_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-c_t-0.3.v
  assign start_alert = start_i;
========================================================
example9_i-c_t-0.3.v
  assign start_alert = start_i;
========================================================
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;
========================================================
example13_i-c_t-0.3.v
  assign start_alert = start_i;
========================================================
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;
========================================================
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;
========================================================
example19_i-c_t-0.3.v
  assign start_alert = start_i;
========================================================
example0_i-c_t-0.5.v
  assign start_alert = start_i;
========================================================
example1_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-c_t-0.5.v
  assign start_alert = start_i;
========================================================
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 != Done) && (state_q != Waiting);
========================================================
example5_i-c_t-0.5.v
  assign start_alert = 1'b0;
========================================================
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;
========================================================
example8_i-c_t-0.5.v
  assign start_alert = state_q != Done;
========================================================
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;
========================================================
example12_i-c_t-0.5.v
  assign start_alert = start_i;
========================================================
example13_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example14_i-c_t-0.5.v
  assign start_alert = start_i;
========================================================
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 && (state_q != Waiting);
========================================================
example17_i-c_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
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;
========================================================
example0_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example1_i-c_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example2_i-c_t-0.7.v
  assign start_alert = start_i;
========================================================
example3_i-c_t-0.7.v
  assign start_alert = start_i && state_q != Done;
========================================================
example4_i-c_t-0.7.v
  assign start_alert = start_i;
========================================================
example5_i-c_t-0.7.v
  assign start_alert = start_i;
========================================================
example6_i-c_t-0.7.v
  assign start_alert = (state_q != Waiting) && start_i;
========================================================
example7_i-c_t-0.7.v
  assign start_alert = start_i && ~(state_q == Done);
========================================================
example8_i-c_t-0.7.v
  assign start_alert = start_i;
========================================================
example9_i-c_t-0.7.v
  assign start_alert = start_i;
========================================================
example10_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-c_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example12_i-c_t-0.7.v
  always_comb begin
end

========================================================
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;
========================================================
example15_i-c_t-0.7.v
  assign start_alert = start_i && ((state_q != Done) || (state_q != Waiting));
========================================================
example16_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-c_t-0.7.v
  assign start_alert = start_i && ((state_q == Waiting) || (state_q == Done));
========================================================
example18_i-c_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-c_t-0.7.v
  assign start_alert = start_i;
========================================================
example0_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-c_t-0.9.v
  assign start_alert = start_i;
========================================================
example2_i-c_t-0.9.v
  always_comb begin
end

========================================================
example3_i-c_t-0.9.v
  assign start_alert = start_i && ((state_q != Waiting) || (state_q != Done));
========================================================
example4_i-c_t-0.9.v
  assign start_alert = state_q == Waiting;
========================================================
example5_i-c_t-0.9.v
  assign start_alert = start_i && ~(fsm_alert || (state_q == Done));
========================================================
example6_i-c_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example7_i-c_t-0.9.v
  assign start_alarm = state_q != Done;
========================================================
example8_i-c_t-0.9.v
  always_comb begin
end

========================================================
example9_i-c_t-0.9.v
  assign start_alert = start_i;
========================================================
example10_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting && state_q != Done);
========================================================
example11_i-c_t-0.9.v
  assign start_alert = start_i;
========================================================
example12_i-c_t-0.9.v
  assign start_alert = 1'b0;
========================================================
example13_i-c_t-0.9.v
  assign start_alert = start_i;
========================================================
example14_i-c_t-0.9.v
  assign start_alert = start_i;
========================================================
example15_i-c_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example16_i-c_t-0.9.v
  assign start_alert = (state_d != state_e::Waiting) & start_i;
========================================================
example17_i-c_t-0.9.v
  assign start_alert = state_q != Waiting;
========================================================
example18_i-c_t-0.9.v
  assign start_alert = start_i && (state_q == Done);
========================================================
example19_i-c_t-0.9.v
  always_comb begin
end

========================================================
example0_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (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) && (state_q != Waiting);
========================================================
example3_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
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 != Done) && (state_q != Waiting);
========================================================
example6_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
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 != Done) && (state_q != Waiting);
========================================================
example11_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (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 != Done) && !fsm_alert;
========================================================
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) && (state_q != Waiting);
========================================================
example17_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example18_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example19_i-d_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example0_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
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) && (state_q != Waiting);
========================================================
example3_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example4_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (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) && !fsm_alert;
========================================================
example7_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example9_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example10_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example11_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example12_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
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
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example15_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (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 != Done) && (state_q != Waiting);
========================================================
example18_i-d_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
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 = (state_q != Done) && start_i;
========================================================
example1_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example2_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example3_i-d_t-0.5.v
  always_comb begin
end

========================================================
example4_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example5_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example6_i-d_t-0.5.v
  assign start_alert = start_i;
========================================================
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) && ~fsm_alert;
========================================================
example9_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && !fsm_alert;
========================================================
example10_i-d_t-0.5.v
  assign start_alert = start_i && !(state_q == Done);
========================================================
example11_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example12_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example13_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example14_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (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
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-d_t-0.5.v
  assign start_alert = start_i && ((state_q != Waiting) && (state_q != Done));
========================================================
example18_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example19_i-d_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && 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 != Done) && (state_q != Waiting);
========================================================
example3_i-d_t-0.7.v
  assign start_alert = start_i && ((state_q == Waiting) || (state_q == Checking));
========================================================
example4_i-d_t-0.7.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example5_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example6_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example7_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example9_i-d_t-0.7.v
  assign start_alert = (state_q != Done) && (!matches_q && !matches_d);
========================================================
example10_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example11_i-d_t-0.7.v
  assign start_alert = (start_i && state_q != Done);
========================================================
example12_i-d_t-0.7.v
  assign start_alert = start_i && ((state_q == Waiting) || (state_q == Checking));
========================================================
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 == Waiting);
========================================================
example15_i-d_t-0.7.v
  assign start_alert = (start_i && ~state_q[Done]);
========================================================
example16_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example17_i-d_t-0.7.v
  assign start_alert = start_i && ~state_i.IDLE;
========================================================
example18_i-d_t-0.7.v
  assign start_alert = start_i && !(state_q == Done);
========================================================
example19_i-d_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example0_i-d_t-0.9.v
  assign start_alert = start_i && state_q != Done;
========================================================
example1_i-d_t-0.9.v
  `PRIM_FLOP_WITH_ALERT(start_alert, start_i, u_state_regs.fsm, u_state_regs.state_reg.state_reg, Done)
========================================================
example2_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (!state_q);
========================================================
example3_i-d_t-0.9.v
  assign start_alert = start_i && !Done;
========================================================
example4_i-d_t-0.9.v
  always_comb begin
end

========================================================
example5_i-d_t-0.9.v
  always_comb begin
end

========================================================
example6_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (start_i_fsm_alert == 1'b0);
========================================================
example7_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Done && state_q != Waiting);
========================================================
example8_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example9_i-d_t-0.9.v
  assign start_alert = (state_q != Done) && start_i;
========================================================
example10_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example11_i-d_t-0.9.v
  `ASSERT_ERROR("SEC_CM: STAGE_PLUGIN.ERROR")
========================================================
example12_i-d_t-0.9.v
  always_comb begin
end

========================================================
example13_i-d_t-0.9.v
  always_comb begin
end

========================================================
example14_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example15_i-d_t-0.9.v
  `PRIM_SOP_ASSERT_ALERT(start_alert, start_i, state_d != Done)
========================================================
example16_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting) && (state_q != Done);
========================================================
example17_i-d_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (!cycles_alert);
========================================================
example18_i-d_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example19_i-d_t-0.9.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example0_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example1_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example2_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example3_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example4_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example5_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example6_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example7_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example8_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example9_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example10_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example11_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example12_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example13_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example14_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
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);
========================================================
example17_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example18_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example19_i-e_t-0.1.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example0_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example1_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example2_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example3_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example4_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != IDLE);
========================================================
example5_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example6_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != FINISHED);
========================================================
example7_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != IDLE);
========================================================
example8_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example9_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != state_e::Done);
========================================================
example10_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example11_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example12_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example13_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example14_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example15_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example16_i-e_t-0.3.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example17_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example18_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example19_i-e_t-0.3.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example0_i-e_t-0.5.v
  assign start_alert = start_i;
========================================================
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 != IDLE);
========================================================
example4_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
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 != IDLE);
========================================================
example7_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Waiting);
========================================================
example8_i-e_t-0.5.v
  assign start_alert = start_i && (state != Done);
========================================================
example9_i-e_t-0.5.v
  always_comb begin
end

========================================================
example10_i-e_t-0.5.v
    assign start_alert = start_i && (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);
========================================================
example13_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example14_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example15_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != state_e::Done);
========================================================
example16_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example17_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-e_t-0.5.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example19_i-e_t-0.5.v
  assign start_alert = start_i && (state_q == Waiting);
========================================================
example0_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != state_e::Done);
========================================================
example1_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
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 != Waiting);
========================================================
example4_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != FINISHED);
========================================================
example5_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example6_i-e_t-0.7.v
  always_comb begin
end

========================================================
example7_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && ! match_found_i;
========================================================
example8_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example9_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example10_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example11_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != IDLE);
========================================================
example12_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example13_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done) && (state_q != Checking);
========================================================
example14_i-e_t-0.7.v
  assign start_alert = start_i && (state != Done);
========================================================
example15_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example16_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != Done);
========================================================
example17_i-e_t-0.7.v
  assign start_alert = 1'b1;
========================================================
example18_i-e_t-0.7.v
  assign start_alert = start_i && (state_q != DONE);
========================================================
example19_i-e_t-0.7.v
    assign start_alert = start_i && (state_q != Done) && (state_q != IDLE);
========================================================
example0_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example1_i-e_t-0.9.v
  assign start_alert = start_i && (state != Done);
========================================================
example2_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done) && (fsm_alert == 1'b0);
========================================================
example3_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != FINISHED);
========================================================
example4_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Done) && (state_d != Done);
========================================================
example5_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example6_i-e_t-0.9.v
  assign start_alert = (start_i) && (state_q != Done);
========================================================
example7_i-e_t-0.9.v
  assign start_alert = start_i/* && (state_q == Waiting)*/;
========================================================
example8_i-e_t-0.9.v
    assign start_alert = start_i && (state != IDLE);
========================================================
example9_i-e_t-0.9.v
    assign start_alert = start_i && (state_q != Done);
========================================================
example10_i-e_t-0.9.v
    assign start_alert = start_i && (state != IDLE);
========================================================
example11_i-e_t-0.9.v
    assign start_alert = start_i && !(state == Done);
========================================================
example12_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != DONE);
========================================================
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 != Waiting);
========================================================
example15_i-e_t-0.9.v
  assign start_alert = start_i;
========================================================
example16_i-e_t-0.9.v
  assign start_alert = start_i && (state != Done);
========================================================
example17_i-e_t-0.9.v
  assign start_alert = start_i && (state_q != Waiting);
========================================================
example18_i-e_t-0.9.v
  assign start_alert = start && ((state_q == Waiting) || (state_q == Checking));
========================================================
example19_i-e_t-0.9.v
  always_comb begin
end

========================================================
