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: allow overwriting read values

Browse Source
This commit is contained in:
Noah Boorstin 2021-03-22 17:28:39 -04:00
parent b4166e9fd0
commit 4be19421c4
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
wally-pipelined/config/busybear/wally-config.vh
View File

@ -25,6 +25,7 @@
/////////////////////////////////////////// ///////////////////////////////////////////
`define BUSYBEAR `define BUSYBEAR
`define BUSYBEAR_FIX_READ {'h10000005}
// RV32 or RV64: XLEN = 32 or 64 // RV32 or RV64: XLEN = 32 or 64
`define XLEN 64 `define XLEN 64

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

@ -205,10 +205,17 @@ module testbench_busybear();
`ERROR `ERROR
end end
if ((readMask & HRDATA) !== (readMask & dut.HRDATA)) begin if ((readMask & HRDATA) !== (readMask & dut.HRDATA)) 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); if (HADDR inside `BUSYBEAR_FIX_READ) begin
$display("warning %0t ps, instr %0d, adr %0d: forcing HRDATA to expected: %x, %x", $time, instrs, HADDR, HRDATA, dut.HRDATA);
force dut.uncore.HRDATA = HRDATA;
#9;
release dut.uncore.HRDATA;
warningCount += 1; warningCount += 1;
end else begin
$display("%0t ps, instr %0d: ExpectedHRDATA does not equal dut.HRDATA: %x, %x from address %x, %x", $time, instrs, HRDATA, dut.HRDATA, HADDR, HSIZE);
`ERROR `ERROR
end 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);