From 009e9d97bfb13ae0aed8447ffd3602f7119fe010 Mon Sep 17 00:00:00 2001 From: bbracker Date: Mon, 19 Jul 2021 15:42:14 -0400 Subject: [PATCH] adapt testbench to removal of `ReadDataWEn` signal --- wally-pipelined/testbench/testbench-linux.sv | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/wally-pipelined/testbench/testbench-linux.sv b/wally-pipelined/testbench/testbench-linux.sv index 780b2ec7b..686da43c6 100644 --- a/wally-pipelined/testbench/testbench-linux.sv +++ b/wally-pipelined/testbench/testbench-linux.sv @@ -453,8 +453,7 @@ module testbench(); // Read Checker // ------------ always @(negedge clk) begin - if (dut.hart.MemRWM[1] && ~dut.hart.StallM && ~dut.hart.FlushM && dut.hart.ieu.InstrValidM) begin //<-- This doesn't work because ReadDataM can be used for other things (namely page table walking) while the pipeline is stalled, leaving it in a different state when the pipeline unstalls - //if (dut.hart.MemRWM[1] && dut.hart.lsu.dcache.ReadDataWEn) begin // <-- ReadDataWEn is a good indicator that the pipeline is using the current contents of ReadDataM + if (dut.hart.MemRWM[1] && ~dut.hart.StallM && ~dut.hart.FlushM && dut.hart.ieu.InstrValidM) begin if($feof(data_file_memR)) begin $display("no more memR data to read"); `ERROR