From 24d3244cfe9a3ac4c48f0b4d9f15db46b0118c5e Mon Sep 17 00:00:00 2001 From: bbracker Date: Sat, 6 Nov 2021 03:44:23 -0700 Subject: [PATCH] checkpoint MIDELEG support --- wally-pipelined/testbench/testbench-linux.sv | 1 + 1 file changed, 1 insertion(+) diff --git a/wally-pipelined/testbench/testbench-linux.sv b/wally-pipelined/testbench/testbench-linux.sv index e6896aff0..249cf3902 100644 --- a/wally-pipelined/testbench/testbench-linux.sv +++ b/wally-pipelined/testbench/testbench-linux.sv @@ -275,6 +275,7 @@ module testbench(); endgenerate `INIT_CHECKPOINT_VAL(PC, [`XLEN-1:0]); `INIT_CHECKPOINT_VAL(MEDELEG, [`XLEN-1:0]); + `INIT_CHECKPOINT_VAL(MIDELEG, [`XLEN-1:0]); `INIT_CHECKPOINT_VAL(MIE, [11:0]); `INIT_CHECKPOINT_VAL(MIP, [11:0]); `INIT_CHECKPOINT_VAL(MCAUSE, [`XLEN-1:0]);