diff --git a/wally-pipelined/testbench/testbench-busybear.sv b/wally-pipelined/testbench/testbench-busybear.sv index b478c1f5f..8036c40e7 100644 --- a/wally-pipelined/testbench/testbench-busybear.sv +++ b/wally-pipelined/testbench/testbench-busybear.sv @@ -50,7 +50,7 @@ module testbench_busybear(); data_file_PC = $fopen("/courses/e190ax/busybear_boot/parsedPC.txt", "r"); if (data_file_PC == 0) begin $display("file couldn't be opened"); - #10; $stop; + $stop; end end @@ -59,7 +59,7 @@ module testbench_busybear(); data_file_PCW = $fopen("/courses/e190ax/busybear_boot/parsedPC.txt", "r"); if (data_file_PCW == 0) begin $display("file couldn't be opened"); - #10; $stop; + $stop; end end @@ -69,7 +69,7 @@ module testbench_busybear(); data_file_rf = $fopen("/courses/e190ax/busybear_boot/parsedRegs.txt", "r"); if (data_file_rf == 0) begin $display("file couldn't be opened"); - #10; $stop; + $stop; end end @@ -79,7 +79,7 @@ module testbench_busybear(); data_file_csr = $fopen("/courses/e190ax/busybear_boot/parsedCSRs.txt", "r"); if (data_file_csr == 0) begin $display("file couldn't be opened"); - #10; $stop; + $stop; end end @@ -89,7 +89,7 @@ module testbench_busybear(); data_file_memR = $fopen("/courses/e190ax/busybear_boot/parsedMemRead.txt", "r"); if (data_file_memR == 0) begin $display("file couldn't be opened"); - #10; $stop; + $stop; end end @@ -99,9 +99,14 @@ module testbench_busybear(); data_file_memW = $fopen("/courses/e190ax/busybear_boot/parsedMemWrite.txt", "r"); if (data_file_memW == 0) begin $display("file couldn't be opened"); - #10; $stop; + $stop; end end + integer warningCount = 0; + `define ERROR \ + #10; \ + $display("processed %0d instructions with %0d warnings", instrs, warningCount); \ + $stop; logic [63:0] pcExpected; logic [63:0] regExpected; @@ -115,7 +120,7 @@ module testbench_busybear(); scan_file_rf = $fscanf(data_file_rf, "%x\n", regExpected); if (dut.ieu.dp.regf.rf[i] != regExpected) begin $display("%t ps, instr %0d: rf[%0d] does not equal rf expected: %x, %x", $time, instrs, i, dut.ieu.dp.regf.rf[i], regExpected); - #10; $stop; + `ERROR end end else begin scan_file_rf = $fscanf(data_file_rf, "%d\n", regNumExpected); @@ -125,7 +130,7 @@ module testbench_busybear(); end if (dut.ieu.dp.regf.rf[i] != regExpected) begin $display("%t ps, instr %0d: rf[%0d] does not equal rf expected: %x, %x", $time, instrs, i, dut.ieu.dp.regf.rf[i], regExpected); - #10; $stop; + `ERROR end end end @@ -138,14 +143,14 @@ module testbench_busybear(); if (dut.MemRWM[1]) begin if($feof(data_file_memR)) begin $display("no more memR data to read"); - #10; $stop; + `ERROR end scan_file_memR = $fscanf(data_file_memR, "%x\n", readAdrExpected); scan_file_memR = $fscanf(data_file_memR, "%x\n", HRDATA); #1; if (HADDR != readAdrExpected) begin $display("%t ps, instr %0d: HADDR does not equal readAdrExpected: %x, %x", $time, instrs, HADDR, readAdrExpected); - #10; $stop; + `ERROR end end end @@ -157,17 +162,17 @@ module testbench_busybear(); if (HWRITE) begin if($feof(data_file_memW)) begin $display("no more memW data to read"); - #10; $stop; + `ERROR end scan_file_memW = $fscanf(data_file_memW, "%x\n", writeDataExpected); scan_file_memW = $fscanf(data_file_memW, "%x\n", writeAdrExpected); if (writeDataExpected != HWDATA) begin $display("%t ps, instr %0d: HWDATA does not equal writeDataExpected: %x, %x", $time, instrs, HWDATA, writeDataExpected); - #10; $stop; + `ERROR end if (writeAdrExpected != HADDR) begin $display("%t ps, instr %0d: HADDR does not equal writeAdrExpected: %x, %x", $time, instrs, HADDR, writeAdrExpected); - #10; $stop; + `ERROR end end end @@ -199,14 +204,14 @@ module testbench_busybear(); end \ if(``PATH``.``CSR``_REGW != ``expected``CSR) begin \ $display("%t ps, instr %0d: %s does not equal %s expected: %x, %x", $time, instrs, `"CSR`", CSR, ``PATH``.``CSR``_REGW, ``expected``CSR); \ - #10; $stop; \ + `ERROR \ end \ end else begin \ for(integer j=0; j