Output is copied to counter_load_test_results.txt . [0 ns][Teal::synch][FILE: ./teal_synch.cpp][line: 742][INFO]teal_top: Starting Simulation. [0 ns][counter_load_test][verification_top]End of enable sequence [0 ns][Teal::synch][FILE: ./teal_synch.cpp][line: 518][INFO]Thread counter_monitor created. ID is 0x5570ba0 result 0x0 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h1 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h2 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h3 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h4 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h5 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h6 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h7 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h8 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h9 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'ha [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'hb [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'hc [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'hd [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'he [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'hf [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h0 [0 ns][top][counter_monitor][FILE: ./counter_load_test.cpp][line: 31][ERROR]Values are not consecutive, prev = 4'hf and current = top.U_counter.counter_out 4'h0 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h1 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h7 [0 ns][top][counter_monitor][FILE: ./counter_load_test.cpp][line: 31][ERROR]Values are not consecutive, prev = 4'h1 and current = top.U_counter.counter_out 4'h7 [0 ns][counter_load_test][verification_top]Load asserted with value top.load_data 4'h7 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h8 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'h9 [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'ha [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'hb [0 ns][top][counter_monitor]Current number is: top.U_counter.counter_out 4'hc [0 ns][Teal::synch][FILE: ./teal_synch.cpp][line: 425][INFO]teal::stop_thread done cancel on counter_monitor result is 0x0 [0 ns][Teal::synch][verification_top][FILE: ./teal_synch.cpp][line: 274][INFO]thread_completed: Thread counter_monitor [0 ns][counter_load_test][verification_top][FILE: ./counter_load_test.cpp][line: 99][INFO]Test Failed: Contained 2 errors.