adding pipeline testing

2025-02-11 06:05:49 +00:00 · 2021-04-23 14:19:17 -04:00 · 2021-04-23 14:19:17 -04:00 · 2a5c243b0b
commit 2a5c243b0b
parent 9a88d83851
2 changed files with 1623 additions and 518 deletions
--- a/wally-pipelined/testbench/testbench-imperas.sv
+++ b/wally-pipelined/testbench/testbench-imperas.sv
@ -334,7 +334,8 @@ module testbench();
    "rv32i/WALLY-CSRRC", "4000",
    "rv32i/WALLY-CSRRWI", "3000",
    "rv32i/WALLY-CSRRSI", "3000",
-    "rv32i/WALLY-CSRRCI", "3000"
+    "rv32i/WALLY-CSRRCI", "3000",
+    "rv32i/WALLY-PIPELINE", "1a800"
  };

  string testsBP64[] = '{
--- a/wally-pipelined/testgen/testgen-PIPELINE.py
+++ b/wally-pipelined/testgen/testgen-PIPELINE.py