Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-11 06:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

busybear: finally get the right error

Browse Source
This commit is contained in:
Noah Boorstin 2021-03-22 16:52:22 -04:00
parent c3a6d6bf42
commit b4166e9fd0
1 changed files with 3 additions and 5 deletions

8
wally-pipelined/testbench/testbench-busybear.sv
View File

@ -190,8 +190,7 @@ module testbench_busybear();
logic [`XLEN-1:0] readAdrExpected; logic [`XLEN-1:0] readAdrExpected;
//always @(dut.hart.MemRWM[1] or HADDR or dut.HRDATA) begin always @(dut.HRDATA) begin
always @(posedge dut.HREADY) begin
#1; #1;
if (dut.hart.MemRWM[1] && HADDR != dut.PCF && dut.HRDATA !== {64{1'bx}}) begin if (dut.hart.MemRWM[1] && HADDR != dut.PCF && dut.HRDATA !== {64{1'bx}}) begin
//$display("%0t", $time); //$display("%0t", $time);
@ -205,14 +204,13 @@ module testbench_busybear();
$display("%0t ps, instr %0d: HADDR does not equal readAdrExpected: %x, %x", $time, instrs, HADDR, readAdrExpected); $display("%0t ps, instr %0d: HADDR does not equal readAdrExpected: %x, %x", $time, instrs, HADDR, readAdrExpected);
`ERROR `ERROR
end end
if ((readMask & HRDATA) !== (readMask & dut.HRDATA)) begin
if (((readMask & HRDATA) !== (readMask & dut.HRDATA)) && (HADDR >= 'h80000000 && HADDR <= 'h87FFFFFF)) begin
$display("warning %0t ps, instr %0d: ExpectedHRDATA does not equal dut.HRDATA: %x, %x from address %x, %x", $time, instrs, HRDATA, dut.HRDATA, HADDR, HSIZE); $display("warning %0t ps, instr %0d: ExpectedHRDATA does not equal dut.HRDATA: %x, %x from address %x, %x", $time, instrs, HRDATA, dut.HRDATA, HADDR, HSIZE);
warningCount += 1; warningCount += 1;
`ERROR `ERROR
end end
//end else if(dut.hart.MemRWM[1]) begin //end else if(dut.hart.MemRWM[1]) begin
//$display("%x, %x, %x, %t", HADDR, dut.PCF, dut.HRDATA, $time); // $display("%x, %x, %x, %t", HADDR, dut.PCF, dut.HRDATA, $time);
end end