hw: Canonicalize SSR verification, add to CI

pulp-platform · Jun 19, 2024 · 96bf728 · 96bf728
1 parent 1cb76ff
commit 96bf728
Show file tree

Hide file tree

Showing 6 changed files with 27 additions and 30 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -60,7 +60,6 @@ snitch-cluster-sw-banshee:
 # - snitch
 # Currently failing IP tests/scripts:
 # - reqrsp_interface
-# - snitch_ssr
 snitch-ip-tests:
   needs: []
   parallel:
@@ -69,6 +68,7 @@ snitch-ip-tests:
           - mem_interface
           - snitch_cluster
           - tcdm_interface
+          - snitch_ssr
   script:
     - cd hw/$IP
     - ./util/compile.sh

diff --git a/hw/snitch_ssr/test/tb_simple_ssr.sv b/hw/snitch_ssr/test/tb_simple_ssr.sv
@@ -14,7 +14,7 @@ module tb_simple_ssr;
   localparam int unsigned NumLoops      = 4;
 
   // Test data parameters
-  localparam string       DataFile = "../test/tb_simple_ssr.hex";
+  localparam string       DataFile = "./test/tb_simple_ssr.hex";
   localparam int unsigned ValBase   = 'h0;
   localparam int unsigned IdxBase   = 'h2000;
   localparam int unsigned IdxStride = 'h800;  // Stride of index arrays of different sizes

diff --git a/hw/snitch_ssr/test/tb_simple_ssr_streamer.sv b/hw/snitch_ssr/test/tb_simple_ssr_streamer.sv
@@ -16,7 +16,7 @@ module tb_simple_ssr_streamer;
   localparam int unsigned WPorts    = 1;
 
   // Test data parameters
-  localparam string       DataFile = "../test/tb_simple_ssr_streamer.hex";
+  localparam string       DataFile = "./test/tb_simple_ssr_streamer.hex";
   localparam int unsigned ValBase   = 'h0;
   localparam int unsigned IdxBase   = 'h2000;
   localparam int unsigned IdxStride = 'h800;  // Stride of index arrays of different sizes

diff --git a/hw/snitch_ssr/util/run_vsim.sh b/hw/snitch_ssr/util/run_vsim.sh
@@ -0,0 +1,24 @@
+#!/bin/bash
+# Copyright 2024 ETH Zurich and University of Bologna.
+# Solderpad Hardware License, Version 0.51, see LICENSE for details.
+# SPDX-License-Identifier: SHL-0.51
+#
+# Fabian Schuiki <fschuiki@iis.ee.ethz.ch>
+# Andreas Kurth  <akurth@iis.ee.ethz.ch>
+# Paul Scheffler <paulsc@iis.ee.ethz.ch>
+
+set -e
+ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)
+
+[ ! -z "$VSIM" ] || VSIM=vsim
+
+call_vsim() {
+    # We treat accessing unwritten associative array (memory) locations as fatal
+    echo "log -r /*; run -all" | $QUESTA_SEPP $VSIM -c -coverage -voptargs='+acc +cover=sbecft' "$@" -fatal vsim-3829 | tee vsim.log 2>&1
+    (grep "SUCCESS" transcript)
+    (! grep -n "Fatal:" transcript)
+    (! grep -n "Error:" transcript)
+}
+
+call_vsim tb_simple_ssr
+call_vsim tb_simple_ssr_streamer
diff --git a/hw/snitch_ssr/util/start_simple_ssr.tcl b/hw/snitch_ssr/util/start_simple_ssr.tcl
diff --git a/hw/snitch_ssr/util/start_simple_ssr_streamer.tcl b/hw/snitch_ssr/util/start_simple_ssr_streamer.tcl