Testbench FSM stopping some Breker tests prematurely

[jordancarlin]

Some of the Breker tests are being prematurely halted by this code in the wallyTracer:

    if(HaltW) begin
`ifdef FCOV
      $display("Functional coverage test complete.");
`endif
`ifdef QUESTA
      $stop;  // if this is changed to $finish for Questa, wally.do does not go to the next step to run coverage and terminates without allowing GUI debug
`else
      $finish;
`endif
end

HaltW is driven by HaltM, which in turn is based on DCacheFlushStart from the testbench FSM.

[davidharrishmc]

DCacheFlushStart derives from TestComplete, which comes from TestComplete <= ((InstrM == 32'h6f) & dut.core.InstrValidM ) | ((dut.core.lsu.IEUAdrM == ProgramAddrLabelArray["tohost"] & dut.core.lsu.IEUAdrM != 0) & InstrMName == "SW"); // | So it would appear that the Breker test is halting either due to a write to host or a jump to self causing an infinite loop.

…

On Mar 13, 2025, at 1:30 AM, Jordan Carlin ***@***.***> wrote: jordancarlin created an issue (openhwgroup/cvw#1317) Some of the Breker tests are being prematurely halted by this code in the wallyTracer: if(HaltW) begin `ifdef FCOV $display("Functional coverage test complete."); `endif `ifdef QUESTA $stop; // if this is changed to $finish for Questa, wally.do does not go to the next step to run coverage and terminates without allowing GUI debug `else $finish; `endif end HaltW is driven by HaltM, which in turn is based on DCacheFlushStart from the testbench FSM. — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread. <#1317> <https://github.com/notifications/unsubscribe-auth/AR4AA33HA3PAN2F4ASXZCX32UE6ZLAVCNFSM6AAAAABY5SMQP2VHI2DSMVQWIX3LMV43ASLTON2WKOZSHEYTMMRXGEZTOOI> jordancarlin created an issue (openhwgroup/cvw#1317) <#1317> Some of the Breker tests are being prematurely halted by this code in the wallyTracer: if(HaltW) begin `ifdef FCOV $display("Functional coverage test complete."); `endif `ifdef QUESTA $stop; // if this is changed to $finish for Questa, wally.do does not go to the next step to run coverage and terminates without allowing GUI debug `else $finish; `endif end HaltW is driven by HaltM, which in turn is based on DCacheFlushStart from the testbench FSM. — Reply to this email directly, view it on GitHub <#1317>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AR4AA33HA3PAN2F4ASXZCX32UE6ZLAVCNFSM6AAAAABY5SMQP2VHI2DSMVQWIX3LMV43ASLTON2WKOZSHEYTMMRXGEZTOOI>. You are receiving this because you are subscribed to this thread.