adding pipeline testing

2021-04-23 14:19:17 -04:00 · 2021-04-23 14:19:17 -04:00 · c66e63ff70
commit c66e63ff70
parent c91f1e197b
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